Formal specifications as constructive diagrams.
Carol BrittonMartin J. LoomesRichard J. MitchellPublished in: Microprocess. Microprogramming (1993)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification languages
- specification language
- concurrent systems
- formal methods
- process algebra
- software components
- reverse engineering
- open source
- design methodology
- knowledge acquisition
- formal specification language
- information systems
- semantic data models
- protocol specification
- hand drawn
- multi agent