SDL Profiles - Formal Semantics and Tool Support.
Rüdiger GrammesReinhard GotzheinPublished in: FASE (2007)
Keyphrases
- formal semantics
- tool support
- software tools
- design decisions
- software development
- software engineering
- logical language
- logical reasoning
- software projects
- operational semantics
- er model
- formal language
- theorem prover
- test suite
- first order logic
- requirements engineering
- modelling language
- user interface
- high level
- decision making
- machine learning