|
|
A Practical Approach
Kevin Lano, Howard Haughton
ISBN: 9780077078973
Format: Paperback
Publisher:McGraw-Hill Education - Europe
Write a review
A survey of current tools, techniques and research in reverse engineering and software maintenance. 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.
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.
| ISBN | 0077078977 | | DEWEY edition | DC20 | | ISBN13 | 9780077078973
(What's this?) | | Pages | 288 | | Publisher | McGraw-Hill Education - Europe | | Weight (grammes) | 5200 | | Imprint | McGraw-Hill Publishing Co. | | Published in | London | | Format | Paperback | | Series title | McGraw-Hill International Series in Software Engineering | | Publication date | 01 Nov 1993 | | Height (mm) | 246 | | Library of Congress | QA76.76.S6 | | Width (mm) | 189 | | DEWEY | 005.16 | | Academic level | Undergraduate, Postgraduate, Professional / Scholarly, Technical/vocational |
|
| |
Software maintenance - the neglected 80per cent of software engineering; at the coal face - maintenance in practice; current research directions; mathematical background 1 - logic; mathematical background 2 - program semantics; a process model for maintenance and reverse engineering; application understanding and reverse engineering; structured and formal methods.
|
|
|
|
|
Enlarge
