Towards a Formal Semantics of the BS/VDM Specification Language.
Peter Gorm LarsenMichael Meincke ArentoftBrian Q. MonahanStephen BearPublished in: IFIP Congress (1989)
Keyphrases
- formal semantics
- specification language
- formal specification
- description language
- programming language
- logical language
- software environment
- operational semantics
- modeling language
- logical reasoning
- first order logic
- theorem prover
- owl dl ontology
- formal language
- general purpose
- relational databases
- multi agent systems
- database