Comparing formal specifications by measuring.
Jan van KatwijkW. J. ToetenelPublished in: RTCSA (1995)
Keyphrases
- formal specification
- object oriented design
- specification languages
- model checking
- process algebra
- formal methods
- concurrent systems
- specification language
- design methodology
- formal specification language
- database
- reverse engineering
- case study
- software testing
- business rules
- data management
- open source
- information systems