Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL.
Johan van der BergStefan GrunerPublished in: SOFL+MSVL (2018)
Keyphrases
- formal semantics
- tool support
- software development
- design decisions
- software projects
- software tools
- software engineering
- logical language
- first order logic
- er model
- modeling language
- operational semantics
- logical reasoning
- formal language
- modelling language
- theorem prover
- test suite
- ontology languages
- requirements engineering
- machine learning
- training data
- information systems
- artificial intelligence
- data mining
- databases