Integrating Semi-Formal and Formal Software Specification Techniques.
Roel J. WieringaEric DuboisPublished in: Inf. Syst. (1998)
Keyphrases
- formal methods
- formal specification
- reactive systems
- requirements specification
- formal language
- software development
- databases
- formal models
- software systems
- formal model
- test cases
- description logics
- formal analysis
- specification language
- operational semantics
- high level
- search engine
- real time
- specification languages