DocumentCode
2250492
Title
The Maintainer´s Assistant [software tool]
Author
Ward, M. ; Calliss, F.W. ; Munro, M.
Author_Institution
Centre for Software Maintenance, Durham Univ., UK
fYear
1989
fDate
16-19 Oct 1989
Firstpage
307
Lastpage
315
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance, 1989., Proceedings., Conference on
Conference_Location
Miami, FL
Print_ISBN
0-8186-1965-1
Type
conf
DOI
10.1109/ICSM.1989.65225
Filename
65225
Link To Document