Maintaining Formal Specifications - Decomposition of Large Z-Specifications.
Andreas BollinPublished in: ICSM (2005)
Keyphrases
- formal specification
- specification language
- model checking
- concurrent systems
- object oriented design
- specification languages
- reverse engineering
- process algebra
- protocol specification
- design methodology
- formal methods
- software testing
- semantic data models
- database
- data model
- cooperative
- high level
- information systems