Formal Specification and Development of an Ada Compiler - A VDM Case Study.
Geert B. ClemmensenOle N. OestPublished in: ICSE (1984)
Keyphrases
- formal specification
- case study
- code generation
- development process
- specification language
- model checking
- specification languages
- reverse engineering
- formal methods
- data abstraction
- software engineering
- concurrent systems
- object oriented design
- real world
- process algebra
- design process
- knowledge management
- open source
- general purpose
- protocol specification
- software systems
- multi agent systems
- artificial intelligence