Maintaining Consistency Under Changes to Formal Specifications.
Kelvin J. RossPeter A. LindsayPublished in: FME (1993)
Keyphrases
- maintaining consistency
- formal specification
- model checking
- specification language
- specification languages
- object oriented design
- process algebra
- formal methods
- concurrent systems
- reverse engineering
- operating system
- software components
- design methodology
- data warehouse
- formal specification language
- case study
- database
- software testing
- petri net
- query processing
- data sets