Integrating informal and formal techniques to reverse engineer imperative programs

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Gannod, Gerald Catolico

Date Published: 1998

Subjects: Reverse engineering
Software engineering--Evaluation
Software maintenance

Program of Study: Computer Science

Degree Level: Doctoral

Language: English

Pages: xiv, 264 pages

Permalink: https://doi.org/doi:10.25335/55kr-5673

Full text