Formal Methods for the Design and Specification of Object-Oriented Systems.
Roger DukePublished in: TOOLS (12/9) (1993)
Keyphrases
- formal methods
- object oriented systems
- object oriented design
- formal specification
- software engineering
- test case generation
- knowledge based systems
- provably correct
- formal analysis
- object oriented
- safety critical
- process algebra
- formal specification language
- software maintenance
- model checking
- software systems
- building blocks
- artificial intelligence
- development lifecycle
- specification language
- modeling language
- model checker
- reactive systems
- data mining
- database