Concept recognition-based program transformation

An approach is described that applies a transformation paradigm to automate software maintenance activities. The approach to code-to-code (horizontal) transformation is based on a high-level understanding of the programming and application domain concepts represented by the code. A very unique characteristic of this approach is its use of concept recognition, the understanding and abstraction of high-level programming and application domain entities in programs, as the basis for transformations. A program transformation tool has been developed to support the migration of a large manufacturing control system written in COBOL.<<ETX>>

[1]  D. Barstow.  An Experiment in Knowledge-Based Automatic Programming , 1986, Artif. Intell..

[2]  Robert Balzer,et al.  Transformational Implementation: An Example , 1981, IEEE Transactions on Software Engineering.

[3]  John Darlington,et al.  An Experimental Program Transformation and Synthesis System , 1986, Artif. Intell..

[4]  David S. Wile,et al.  Program developments: formal explanations of implementations , 1983, CACM.

[5]  Elaine Kant.  On the efficient synthesis of efficient programs , 1983 .

[6]  James M. Neighbors,et al.  The Draco Approach to Constructing Software from Reusable Components , 1984, IEEE Transactions on Software Engineering.

[7]  Thomas E. Cheatham,et al.  Reusability Through Program Transformations , 1984, IEEE Transactions on Software Engineering.

[8]  Elliot Soloway,et al.  PROUST: Knowledge-Based Program Understanding , 1984, IEEE Transactions on Software Engineering.

[9]  James Collofello,et al.  ANALYSIS OF THE TECHNICAL INFORMATION NECESSARY TO PERFORM EFFECTIVE SOFTWARE MAINTENANCE. , 1986 .

[10]  E Bush,et al.  The automatic restructuring of COBOL , 1986 .

[11]  Christopher W. Pidgeon,et al.  TMM: Software Maintenance by Transformation , 1986, IEEE Software.

[12]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[13]  Elliot Soloway,et al.  A cognitive analysis of a code inspection , 1987 .

[14]  W. Lewis Johnson.  Deriving specification from requirements , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[15]  Jim Q. Ning,et al.  Knowledge-based program analysis , 1990, IEEE Software.

[16]  Martin S. Feather,et al.  Building an evolution transformation library , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[17]  Gordon Kotik,et al.  A program transformation approach to automating software re-engineering , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[18]  Douglas R. Smith,et al.  KIDS - A Knowledge-Based Software Development System , 1991 .

[19]  Jim Q. Ning,et al.  BAL/SRW: Assembler re-engineering workbench , 1991 .