VDM++, A Formal Specification Language for OO Designs.
Eugène DürrJan van KatwijkPublished in: TOOLS (7) (1992)
Keyphrases
- formal specification language
- object oriented
- temporal logic
- formal specification
- formal methods
- programming language
- conceptual modeling
- design methodology
- object oriented databases
- query language
- software engineering
- conceptual models
- model checking
- knowledge acquisition
- design space
- database
- open source
- general purpose
- data model
- case study
- machine learning
- real world