Generation and validation of traces between requirements and architecture based on formal trace semantics.
Arda GoknilIvan KurtevKlaas van den BergPublished in: J. Syst. Softw. (2014)
Keyphrases
- management system
- formal model
- formal language
- real time
- execution traces
- model theoretic
- highly expressive
- machine processable
- dynamic aspects
- design goals
- conceptual model
- software architecture
- data management systems
- design principles
- databases
- operational semantics
- application specific
- specification language
- architectural design
- real time systems
- default reasoning
- semantic information
- logic programming
- reactive systems
- source code
- semantic mapping
- neural network
- requirements specification
- database