Are constructive formal specifications less abstract?
Ivo Van HorebeekJohan LewiPublished in: ACM SIGPLAN Notices (1990)
Keyphrases
- formal specification
- object oriented design
- model checking
- specification language
- formal methods
- specification languages
- reverse engineering
- design methodology
- process algebra
- concurrent systems
- protocol specification
- high level
- business rules
- key features
- knowledge based systems
- object oriented
- object oriented data models
- case study
- knowledge base
- database