Title :
Reverse engineering from assembler to formal specifications via program transformations
Author_Institution :
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
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
Keywords :
assembly language; computer aided software engineering; formal specification; reverse engineering; FermaT transformation system; IBM 370; assembler code; case study; formal specifications; formal transformation engine; high-level abstract specification; language migration; program comprehension; program transformations; reverse engineering; Application software; Assembly systems; Costs; Engines; Environmental economics; Formal specifications; High level languages; Logic; Reverse engineering; Software systems;
Conference_Titel :
Reverse Engineering, 2000. Proceedings. Seventh Working Conference on
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-7695-0881-2
DOI :
10.1109/WCRE.2000.891448
