Using knowledge-based transformations to reverse-engineer COBOL programs
- 23 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 114-123
- https://doi.org/10.1109/kbse.1996.552829
Abstract
We describe a program restructuring tool under development. The tool is constructed using program transformations executed by the TAMPR program transformation system. We discuss the knowledge embodied in the transformations and how they restructure an example COBOL program developed in the mid-1970s. While the tool needs to be extended further to produce a robust commercial product, early use for restructuring COBOL programs demonstrates the power and flexibility of this transformational approach.Keywords
This publication has 11 references indexed in Scilit:
- RECAST: Reverse engineering from COBOL to SSADM specificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A program transformation approach to automating software re-engineeringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementationsScience of Computer Programming, 1997
- Reverse Engineering through Formal Transformation: Knuth's 'Polynomial Addition' AlgorithmThe Computer Journal, 1994
- A compendium of formal techniques for software maintenanceSoftware Engineering Journal, 1993
- Program concept recognition and transformationIEEE Transactions on Software Engineering, 1992
- A practical functional program for the CRAY X-MPJournal of Functional Programming, 1992
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- Program Reusability through Program TransformationIEEE Transactions on Software Engineering, 1984
- Transformational component for programming language grammarPublished by Office of Scientific and Technical Information (OSTI) ,1970