Reverse engineering from assembler to formal specifications via program transformations

Author

Ward, M.P.

Author_Institution

Software Technol. Res. Lab., De Montfort Univ., Leicester, UK

fYear

2000

fDate

2000

Firstpage

11

Lastpage

20

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Reverse Engineering, 2000. Proceedings. Seventh Working Conference on

Conference_Location

Brisbane, Qld.

ISSN

1095-1350

Print_ISBN

0-7695-0881-2

Type

conf

DOI

10.1109/WCRE.2000.891448

Filename

891448