KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Automated support of software maintenance
Information and Software Technology
Program Concept Recognition and Transformation
IEEE Transactions on Software Engineering - Special issue on software maintenance
Science of Computer Programming
RECAST: reverse engineering from COBOL to SSADM specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The TAMPR program transformation system: simplifying the development of numerical software
Modern software tools for scientific computing
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Software Engineering
Proving refinement transformations for deriving high-assurance software
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Towards lightweight checks for mass maintenance transformations
Science of Computer Programming
Automated mass maintenance of a software portfolio
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Hi-index | 0.00 |
In this paper we describe a COBOL-program restructuring tool currently under development. The tool is constructedusing program transformations executed by the TAMPR program transformationsystem. We discuss the COBOL knowledge embodied in the transformationsand how they restructure an example COBOL program developed in themid–1970s. While the tool is not yet a robust commercial product,early use for restructuring COBOL programs demonstrates the power andflexibility of this transformation–based approach.