DocumentCode
959216
Title
A compendium of formal techniques for software maintenance
Author
Bowen, Judy ; Breuer, P. ; Lano, Kevin
Author_Institution
Comput. Lab., Oxford Univ.
Volume
8
Issue
5
fYear
1993
fDate
9/1/1993 12:00:00 AM
Firstpage
253
Lastpage
262
Abstract
Software maintenance is an important area in practical software engineering that has been largely overlooked by many theoretical computer scientists. This paper gives an overview of formal techniques developed recently to aid the software maintenance process, and in particular reverse engineering and re-engineering. In the future, it is suggested that specifications, rather than programs, should be maintained. The work provides a mathematical basis for a large collaborative project, which has also been investigating many other aspects of software maintenance
Keywords
formal specification; software maintenance; formal techniques; large collaborative project; re-engineering; reverse engineering; software engineering; software maintenance; specification; theoretical computer scientists;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
238592
Link To Document