The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2000)
Brisbane, Australia
Nov. 23, 2000 to Nov. 25, 2000
ISSN: 1095-1350
ISBN: 0-7695-0881-2
pp: 11
M.P. Ward , De Montfort University
ABSTRACT
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.
INDEX TERMS
CITATION
M.P. Ward, "Reverse Engineering from Assembler to Formal Specifications via Program Transformations", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 11, 2000, doi:10.1109/WCRE.2000.891448
109 ms
(Ver 3.3 (11022016))