Formal Specifications as Reusable Frameworks.
David GarlanNorman M. DelislePublished in: VDM Europe (1990)
Keyphrases
- formal specification
- software components
- specification languages
- object oriented design
- model checking
- specification language
- reverse engineering
- software systems
- formal methods
- process algebra
- concurrent systems
- software development
- software testing
- design methodology
- formal specification language
- databases
- temporal logic
- protocol specification
- cooperative