An Approach to Declaring Data Types for Formal Specifications.
Xi WangShaoying LiuPublished in: SOFL+MSVL (2013)
Keyphrases
- data types
- formal specification
- object oriented design
- model checking
- database systems
- specification languages
- data model
- data structure
- user defined
- database management systems
- formal methods
- reverse engineering
- data formats
- software components
- temporal logic
- database
- management system
- data sources
- formal specification language
- database technology
- object types
- abstract data types
- distributed databases
- machine learning