Structured techniques for computing
Structured techniques for computing
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Program Transformation Systems
ACM Computing Surveys (CSUR)
An Empirical Study of Representation Methods for Reusable Software Components
IEEE Transactions on Software Engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Reusability Framework, Assessment, and Directions
IEEE Software
TMM: Software Maintenance by Transformation
IEEE Software
Semantics-based code obfuscation by abstract interpretation
Journal of Computer Security
Feasibility study of software reengineering towards role-based access control
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Since the 1980s, software maintenance started to attract attention. Some progress has been made in using formal methods on software maintenance, especially on reverse engineering. This paper attempts to summarise some major advances in this area over the last one and a half decades. Firstly, we introduce program transformation techniques for software development and review the techniques used for software maintenance. We then describe a method for reverse engineering and reusing COBOL programs using program transformations. Finally, we suggest a future investigation direction for this work.