Title :
A formal approach to program modification
Author_Institution :
Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand
Abstract :
This paper presents a systematic approach to implementing certain kinds of program modifications, in which (conceptually at least) the modification is implemented as a separate program and then integrated with the original program using semantically based transformations. This approach allows us to ensure that the required modification is implemented correctly and also allows us to explore different ways of implementing a given modification. The approach is illustrated informally using an example where the modification can be implemented in two distinct ways, and then formalised within the refinement calculus by defining a program conjunction operator whose properties justify the transformations required in the example
Keywords :
refinement calculus; software maintenance; software reusability; program conjunction operator; program modification; refinement calculus; semantically based transformations; software maintenance; software reuse; Calculus; Command languages; Programming profession; Research and development management; Software development management; Software tools; Viscosity;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896709