Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations.
Joseph R. KiniryFintan FairmichaelPublished in: CBSE (2009)
Keyphrases
- formal specification
- specification language
- object oriented design
- specification languages
- model checking
- formal methods
- concurrent systems
- reverse engineering
- design methodology
- software components
- process algebra
- semantic data models
- databases
- constraint networks
- object oriented systems
- knowledge acquisition
- cooperative