ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking.
Josef AdersbergerMichael PhilippsenPublished in: ECSA (2011)
Keyphrases
- consistency checking
- software architecture
- stochastic search
- software systems
- software engineering
- source code
- tool support
- code generation
- query answering
- temporal constraints
- temporal reasoning
- object oriented
- database design
- constraint satisfaction problems
- software development
- object oriented analysis and design
- metamodel
- path consistency
- life cycle