Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications.
Gunter MussbacherJörg KienzleDaniel AmyotPublished in: MoDRE (2011)
Keyphrases
- aspect oriented
- reactive systems
- functional requirements
- development process
- object oriented
- crosscutting concerns
- software development
- business applications
- model checking
- aspect oriented programming
- information flow
- design requirements
- state machines
- control flow
- formal methods
- software product line
- temporal logic
- open source
- real time systems
- petri net
- metamodel
- databases
- business processes
- knowledge based systems
- software engineering
- relational databases
- high level
- case study