Reverse engineering from assembler to formal specifications via program transformations

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Ward, Martin
dc.date.accessioned 2005-09-05T20:02:43Z
dc.date.available 2005-09-05T20:02:43Z
dc.date.issued 2005-09-05T20:02:43Z
dc.identifier.other IR/2005/27
dc.identifier.uri http://hdl.handle.net/2086/50
dc.description.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. en
dc.format.extent 222225 bytes
dc.format.extent 146898 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 2000-22 en
dc.subject assembler en
dc.subject migration en
dc.subject comprehension en
dc.subject formal methods en
dc.subject abstraction en
dc.subject WSL en
dc.subject wide spectrum language en
dc.subject program transformation en
dc.subject legacy systems en
dc.subject restructuring en
dc.title Reverse engineering from assembler to formal specifications via program transformations en
dc.type Article en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record