Formal specification and validation at work: a case study using VDM-SL.
Sten AgerholmPierre-Jean LecoeurEtienne ReichertPublished in: FMSP (1998)
Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- data abstraction
- object oriented design
- formal methods
- process algebra
- case study
- reverse engineering
- concurrent systems
- artificial intelligence
- formal specification language
- databases
- software development
- knowledge management
- real world