This work provides an in-depth survey of current tools, techniques and research in reverse engineering and software maintenance. The growth in demand for software maintenance has contributed to a "software crisis" and this is analyzed with the suggestion of various long-term educational and technical solutions. Using real examples, process models are detailed and techniques involving object-oriented design abstraction are developed. Examples are provided in COBOL, FORTRAN, C and Prolog, and there are three major case studies in COBOL and FORTRAN. Theoretical foundations are given in the Z specification language, and techniques for the integration of structured and formal methods are provided.
- ISBN10 0077078977
- ISBN13 9780077078973
- Publish Date 30 November 1993
- Publish Status Out of Print
- Out of Print 10 July 1997
- Publish Country GB
- Publisher McGraw-Hill Education - Europe
- Imprint McGraw-Hill Publishing Co.
- Format Paperback
- Pages 288
- Language English