Verifying Aspect-Oriented Models against Crosscutting Properties.
Zhanqi CuiLinzhang WangXi LiuLei BuJianhua ZhaoXuandong LiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2013)
Keyphrases
- aspect oriented
- crosscutting concerns
- object oriented
- software development
- aspect oriented programming
- business applications
- case study
- probabilistic model
- statistical models
- decision trees
- open source
- cross cutting concerns
- database
- accurate models
- structural properties
- development process
- prior knowledge
- cooperative
- bayesian networks
- artificial intelligence
- genetic algorithm
- neural network
- databases