Transformations to Restructure and Re-engineer COBOL Programs

Automated Software Engineering

Volumn 5, Issue 3, 1998, Pages 321-345

  Harmer, Terence J ^a   Mcparland, Patrick J ^a,c   Boyle, James M ^b  

^a UNIVERSITY OF ULSTER   (United Kingdom)

^b ARGONNE NATIONAL LABORATORY   (United States)

^c NORTEL NETWORKS   (Canada)

Author keywords

Program transformation; Re engineering; Restructuring; Reverse engineering

Indexed keywords

COBOL (PROGRAMMING LANGUAGE); REENGINEERING; REVERSE ENGINEERING;

PROGRAM RESTRUCTURING; PROGRAM TRANSFORMATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032114525     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008656708551     Document Type: Article

References (16)

1. Bennett K.H. (1991). Automated Support of Software Maintenance, Information and Software Technology, 33:74-85.
2. Boyle J.M., Harmer T.J. and Winter V.W. (1996). The TAMPR Program Transformation System, Proceedings of the Durham Transformation Workshop, 1-2 April.
3. Boyle J.M., Harmer T.J. and Winter V.W. (1997). The TAMPR Program Transformation System: Simplifying the Development of Numerical Software, In Modern Software Tools for Scientific Computing, editors Arge, Erland and Bruaset, Are Magnus and Langtangen, Hans Petter, pages 353-372, Birhauser, Boston.
4. Boyle J.M. and Muralidharan M.N (1984). Program reusability through program transformation, IEEE Trans. Software Eng., 10:574-88.
5. Boyle J.M. and Harmer T.J. (1992). A Practical Functional Program for the CRAY X-MP, Journal of Functional Programming, 2:81-126.
6. Bowen J., Breuer P. and Lano K. (1993). A compendium of formal techniques for software maintenance, Software Engineering Journal, 8:253-262.
7. Burson S., Kotik G.B. and Markosian L.Z. (1990). A Program Transformation Approach to Automating Software Re-engineering, Proc. 14th Annual Int. Computer Software & Applications Conference (COMPSAC), pages 314-322.
8. Burstall R.M and Darlington J. (1977). A Transformation System for Developing Recursive Programs, ACM Journal, 24:44-67.
9. Edwards H.M. and Munro M. (1993). RECAST: reverse engineering from COBOL to SSADM specification, Proceedings the International Conference on Software Engineering, pages 499-508, IEEE Computer Society Press.
10. Kozaczynski W., Ning J.Q. and Engberts A. (1993). Concept recognition-based program transformation, Proceedings of the International Conference on Software Maintenance, pages 73-82, IEEE Computer Society Press 73-82.
11. Fitzpatrick S., Harmer T.J., Stewart A., Clint M. and Boyle JM (1997). The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations, Science of Computer Programming, 28:1-41.
12. Kozaczynski W., Ning J.Q. and Engberts A. (1992). Program concept recognition and transformation, IEEE Trans. Software Eng., 18:1065-1075.
13. Sommerville I. (1996). Software Engineering, Addison-Wesley.
14. Smith W. (1990). KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, 16:1024-1043.
15. Ward M.P. (1995). Reverse Engineering through formal transformations: Knuth's'polynomial addition' algorithm, Computer Journal, 37:795-813.
16. Winter, V.W. and Boyle, J.M. (1996). Proving Refinement Transformations for Deriving High-Assurance Software, Proceedings of the IEEE High-Assurance Systems Engineering Workshop, Niagara on the Lake, Ontario, Canada, Oct. 22, 1996.