Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
Christoph KniekeMichaela HuhnMalte LochauPublished in: TASE (2008)
Keyphrases
- formal semantics
- activity diagrams
- requirements specification
- operational semantics
- requirements engineering
- software engineering
- specification language
- formal specification
- software systems
- software requirements
- first order logic
- development process
- modeling language
- model checking
- speech acts
- theorem prover
- goal oriented
- life cycle
- software development
- class diagrams
- database