Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

WCRE
2000
IEEE

favoriteEmaildiscussreport

75views Software Engineering» more WCRE 2000»

Reverse Engineering from Assembler to Formal Specifications via Program Transformations

13 years 8 months ago

Reverse Engineering from Assembler to Formal Specifications via Program Transformations

Download www.cse.dmu.ac.uk

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 -directed transformations and abstractions to convert an IBM 370 Assembler code program into igh-level abstract specification.

Martin P. Ward

Real-time Traffic

De Montfort University | FermaT Transformation System | Industrial-strength Formal Transformation | Software Engineering | WCRE 2000 |

claim paper

Related Content

» A Practical Program Transformation System for Reverse Engineering

» Reverse Engineering is Reverse Forward Engineering

» An Automated Approach for Supporting Software Reuse via Reverse Engineering

» Semanticspreserving implementation of synchronous specifications over dynamic TDMA distrib...

» From System F to Typed Assembly Language

» Pervasive Compiler Verification From Verified Programs to Verified Systems

» Slicing obfuscations design correctness and evaluation

» Formal certification of a compiler backend or programming a compiler with a proof assistan...

» A Formal CSP Framework for MessagePassing HPC Programming

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	2000
Where	WCRE
Authors	Martin P. Ward

Comments (0)