DocumentCode :
2795085
Title :
A formal approach to program modification
Author :
Groves, Lindsay
Author_Institution :
Sch. of Math. & Comput. Sci., Victoria Univ., Wellington, New Zealand
fYear :
2000
fDate :
2000
Firstpage :
274
Lastpage :
281
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
ISSN :
1530-1362
Print_ISBN :
0-7695-0915-0
Type :
conf
DOI :
10.1109/APSEC.2000.896709
Filename :
896709
Link To Document :
بازگشت