Title :
The Maintainer´s Assistant [software tool]
Author :
Ward, M. ; Calliss, F.W. ; Munro, M.
Author_Institution :
Centre for Software Maintenance, Durham Univ., UK
Abstract :
The Maintainer´s Assistant is a code analysis tool aimed at helping the maintenance programmer to understand and modify a given program. Program transformation techniques are employed by the Maintainer´s Assistant, both to derive a specification from a section of code and to transform a section of code into a logically equivalent form. The general structure of the tool is described and two examples of the application of program transformations are given
Keywords :
formal specification; maintenance engineering; software tools; Maintainer Assistant; code analysis tool; logically equivalent; maintenance programmer; program transformations; specification; Application software; Computer bugs; Data analysis; Documentation; Flow graphs; Investments; Maintenance engineering; Programming profession; Software maintenance; Software tools;
Conference_Titel :
Software Maintenance, 1989., Proceedings., Conference on
Conference_Location :
Miami, FL
Print_ISBN :
0-8186-1965-1
DOI :
10.1109/ICSM.1989.65225
