A practical program transformation system for reverse engineering
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 212-221
- https://doi.org/10.1109/wcre.1993.287763
Abstract
Program transformation systems provide one means of formally deriving a program from its specification. A tool called ReForm is described. It is designed to address the inverse problem to support the extraction of a specification from existing program code, using transformations. This is an important activity during software maintenance. One of the problems of transformation systems is the scarcity of practical tools which can address industrial scale problems, rather than contrived laboratory problems. An analysis of the important software engineering factors that contribute to a successful transformation based tool is provided. Results from using the tool are also presented.Keywords
This publication has 9 references indexed in Scilit:
- The Maintainer's Assistant (software tool)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Program lifetime: a vital statistic for maintenancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Derivation of data intensive algorithms by formal transformation: the Schnorr-Waite graph marking algorithmIEEE Transactions on Software Engineering, 1996
- Abstracting a specification from codeJournal of Software Maintenance: Research and Practice, 1993
- Software maintenance management: Changes in the last decadeJournal of Software Maintenance: Research and Practice, 1990
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- Laws of programmingCommunications of the ACM, 1987
- Implications of automated restructuring of COBOLACM SIGPLAN Notices, 1987
- Syntactic source to source transforms and program manipulationCommunications of the ACM, 1979