Integrating formal and structured methods in reverse-engineering
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The issue of the interaction between structured and formal notations in reverse-engineering and maintenance is discussed, and a process which uses both forms of representation to support application understanding, evaluation, assessment, redesign, and reengineering is described. This process is supported by prototype tools implemented on the REDO toolkit and repository for reverse-engineering.Keywords
This publication has 6 references indexed in Scilit:
- Migration of procedurally oriented COBOL programs in an object-oriented architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Extracting design and functionality from codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Semantically extended dataflow diagrams: a formal specification toolIEEE Transactions on Software Engineering, 1992
- Program translation via abstraction and reimplementationIEEE Transactions on Software Engineering, 1988
- Hierarchical development of concurrent systems in a temporal logic frameworkPublished by Springer Nature ,1985
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976