Experience with Formal Specification of CMM and UML.
Jos WarmerJohn HoggSteve CookBran SelicPublished in: ECOOP Workshops (1997)
Keyphrases
- formal specification
- specification language
- formal methods
- object oriented design
- specification languages
- model checking
- process algebra
- data abstraction
- software development
- database design
- software components
- concurrent systems
- software engineering
- reverse engineering
- software systems
- artificial intelligence
- software process
- modeling language
- conceptual modeling
- formal specification language