Design maintenance systems

Abstract

IntroductionWe are interested in lowering the cost of softwaremaintenance. We believe this can be best aided bytools that have some idea of what the maintainedcode does and how it works. Conventionalsoftware designs lose too much information toallow effective tools for this purpose, so we turn todesigns captured during transformationalsynthesis. Maintenance in this context requiresrevising the transformational design to obtainrevised code, and so we call our scheme a Design...