A Specification Language for Object-Oriented Analysis and Design.
Ted L. BriggsJohn WerthPublished in: ECOOP (1994)
Keyphrases
- specification language
- object oriented analysis and design
- unified modelling language
- programming language
- formal specification
- description language
- knowledge base
- requirements specification
- object oriented
- software engineering
- data driven
- model checking
- information systems
- case study
- orders of magnitude
- reverse engineering