The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper is a case study which uses automated plus manually-directed transformations and abstractions to convert an IBM 370 Assembler code program into a very high-level abstract specification.
Ward REF described a case study of an automated plus manual process to convert an IBM-370 assembler program to high level specifications using the FermaT transformation system.
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
7th Working Conference on Reverse Engineering 2000, 23--25 Nov 2000, Brisbane, Queensland, Australia. IEEE Computer Society
Computer Science