A modification support system---automatic correction of side---effects caused by type modifications

摘要

Programmers modify software for many reasons. When a part of a software is modified, side-effects of the modification are propagated to other parts of the software. By correcting these side-effects automatically, the productivity and the reliability of software development increases. This paper proposes an approach based on constraints and component-based software representation for detecting and correcting side-effects. A system based on the approach for type modifications is presented. The system is developed independent of a particular language.