JPIAspectZ: A Formal Specification Language for Aspect-Oriented JPI Applications.
Cristian Vidal SilvaRodolfo VillarroelCristian Pereira VasquezPublished in: SCCC (2014)
Keyphrases
- aspect oriented
- formal specification language
- temporal logic
- formal methods
- formal specification
- object oriented
- software development
- model checking
- business applications
- aspect oriented programming
- crosscutting concerns
- development process
- software engineering
- software product line
- machine learning
- cross cutting concerns
- error rate
- reverse engineering
- fine grained
- data sets
- knowledge representation
- end users
- information technology
- cooperative
- decision making
- information systems
- artificial intelligence
- data mining
- databases