Translation-Based Compositional Reasoning for Software Systems.
Fei XieJames C. BrowneRobert P. KurshanPublished in: FME (2003)
Keyphrases
- software systems
- software engineering
- source code
- software development
- software design
- software architecture
- software components
- software maintenance
- design patterns
- software engineers
- component based software
- metamodel
- open source
- software quality
- development effort
- object oriented systems
- multi agent systems
- functional requirements
- software evolution
- clone detection
- software developers
- pattern matching
- maintenance activities
- product lines
- complex software systems
- database