A Formal Model Driven Approach to Dependable Software Evolution.

Feng Chen Hongji Yang Bing Qiao William Cheng-Chung Chu

Published 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