Location of Repository

Formal Specifications in Software Maintenance: From code to Z++ and back again

By Jonathan Bowen, Peter Breuer and Kevin Lano

Abstract

This paper presents a number of techniques that have been developed as components of the software maintenance process as part of the ESPRIT REDO project. These techniques are all based on formal methods, and the work described has provided the mathematical underpinning to a large collaborative project that has been investigating various aspects of software maintenance. The focus of the project has been on reverse engineering, and methods for this part of the maintenance process are reported on here, along with techniques for subsequent re-engineering. A proposal for specification-oriented software maintenance is presented, in which specifications in an object-oriented extension of the formal notation Z are maintained in step with th

Topics: Formal methods, formal speci cation, object-oriented techniques, re-engineering, reverse engineering
Year: 1993
OAI identifier: oai:CiteSeerX.psu:10.1.1.18.4907
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.museophile.sbu.ac.u... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.