Contract-Based Verification for Aspect-Oriented Refactoring.
Naoyasu UbayashiJinji PiaoSuguru ShinotsukaTetsuo TamaiPublished in: ICST (2008)
Keyphrases
- aspect oriented
- crosscutting concerns
- software systems
- object oriented
- software development
- aspect oriented programming
- business applications
- development process
- supply chain
- software product line
- model checking
- metamodel
- data quality
- cross cutting concerns
- signature verification
- face verification
- software engineering
- case study
- software components
- data sets
- design process
- database management systems
- software evolution
- knowledge management
- transaction costs
- data sources
- expert systems
- verification method
- functional verification
- databases