Using Z as a Specification Calculus for Object-Oriented Systems.
Anthony HallPublished in: VDM Europe (1990)
Keyphrases
- object oriented systems
- test case generation
- object oriented
- object oriented design
- software maintenance
- software engineering
- formal specification
- source code
- software systems
- provably correct
- transition systems
- process algebra
- formal language
- object oriented technology
- high level
- formal methods
- test cases
- class diagrams
- specification language
- data model
- artificial intelligence
- formal verification
- model checking
- knowledge management
- open source
- relational databases