Software and System Modeling Based on a Unified Formal Semantics.
Manfred BroyFranz HuberBarbara PaechBernhard RumpeKatharina SpiesPublished in: CoRR (2014)
Keyphrases
- formal semantics
- modeling language
- software systems
- logical reasoning
- formal language
- metamodel
- er model
- operational semantics
- software architecture
- first order logic
- theorem prover
- modelling language
- artificial intelligence
- software development
- source code
- software engineering
- relational databases
- logical language
- high level