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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Paperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR011770270
Cantidad disponible: 1 disponibles