Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language.
Dirk ScholzCarsta PetersohnPublished in: ICFEM (1997)
Keyphrases
- formal semantics
- specification language
- description language
- programming language
- formal specification
- simulated annealing
- formal language
- logical language
- software environment
- logical reasoning
- first order logic
- modelling language
- modeling language
- operational semantics
- owl dl ontology
- machine learning
- theorem prover
- software engineering
- search algorithm