A methodology for formal specification and implementation of Ada packages.
Neel MadhavWalter MannPublished in: COMPSAC (1990)
Keyphrases
- formal specification
- design methodology
- specification language
- data abstraction
- model checking
- specification languages
- reverse engineering
- design methodologies
- formal specification language
- object oriented design
- formal methods
- concurrent systems
- process algebra
- artificial intelligence
- software components
- production system
- building blocks