A Formal Model Driven Approach to Dependable Software Evolution.
Feng ChenHongji YangBing QiaoWilliam Cheng-Chung ChuPublished in: COMPSAC (1) (2006)
Keyphrases
- software evolution
- software maintenance
- source code
- software systems
- reverse engineering
- software architecture
- mining software repositories
- open source projects
- software engineering
- linux kernel
- process automation
- software development
- application server
- software development processes
- software repositories
- component based software development
- fault tolerant
- black box
- formal model
- software quality
- multi agent
- artificial intelligence
- database