Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Henrique RebêloRicardo Massa Ferreira LimaGary T. LeavensMárcio CornélioAlexandre MotaCésar A. L. OliveiraPublished in: Sci. Comput. Program. (2013)
Keyphrases
- aspect oriented
- crosscutting concerns
- aspect oriented programming
- cross cutting concerns
- object oriented
- software development
- static analysis
- program understanding
- java programs
- development process
- source code
- business applications
- computer programs
- program execution
- software product line
- web services
- future directions
- automatically generated
- software engineering
- programs written
- management system
- relational databases