Reverse Engineering and Software Maintenance: A Practical Approach |
Contents
Program Semantics | 5 |
At the Coal FaceMaintenance in Practice | 15 |
Current Research Directions | 33 |
Copyright | |
10 other sections not shown
Common terms and phrases
analysis application approach attributes Chapter clichés COBOL COBOL 74 components concepts cond(E control flow control flow graph corresponding data items data structures database declaration defined definition denotes derived diagrams documentation domain knowledge END CLASS entity life histories ENTRY-FLAG environment equivalence example existing extraction formal formulae FORTRAN functional abstraction given GOTO identify IEEE immed_ansc implementation inference rules input instance involved knowledge-based language Lano linear temporal logic Lloyd's Register loop maintainers maintenance activities mathematical methods metrics module MOVE natural deduction NCOPIES notation object class object-oriented operations paragraph performed predicate predicate logic procedural propositional logic re-engineering recursive REDO representation represented requirements restructuring reverse engineering schema scontents semantics sequence Software Engineering Software Maintenance source code specification SSADM stages statements structure chart structure graph techniques TITLE-KEY transformation update variables