Abstraction of formal specifications from program code.
Betty H. C. ChengGerald C. GannodPublished in: ICTAI (1991)
Keyphrases
- program code
- formal specification
- semantic data models
- programming language
- model checking
- object oriented design
- specification languages
- high level
- reverse engineering
- concurrent systems
- formal methods
- general purpose
- programming concepts
- object oriented
- object oriented programming
- functional dependencies
- machine learning
- database
- virtual environment
- software engineering
- xml documents
- artificial intelligence