Understanding the process of software maintenance
Keith H. Bennett · 2002
An extensive programme of research has been in progress at Durham University for the past seven years to investigate how formal transformations may be used to assist the process of software maintenance, particularly addressing the issues of understanding and representing existing large software systems. The results from the research are drawn together in order to assess the success and problems of the approach.>