Introducing Aspect-Oriented Specification for Abstract State Machines.
Marcel DausendAlexander RaschkePublished in: ABZ (2014)
Keyphrases
- asynchronous circuits
- aspect oriented
- object oriented
- software development
- model checking
- business applications
- crosscutting concerns
- development process
- aspect oriented programming
- cross cutting concerns
- software product line
- neural network
- formal specification
- formal verification
- specification language
- software engineering
- data mining
- real time