FermaT transformationssystem, baserat på forskning som utförts under de senaste sexton åren vid Durham University, De Montfort University och Software Migrations Ltd., är en industriell styrka formell transformation motor med många tillämpningar i programförståelse och språkmigration. Detta papper är en fallstudie som använder automatiserade plus manuellt riktade transformationer och abstraktioner för att omvandla en IBM 370 Assemblisher kodprogram till en mycket hög nivå abstrakt specifikation.
Ward REF beskrev en fallstudie av en automatiserad plus manuell process för att konvertera ett IBM-370 monteringsprogram till hög nivå specifikationer med hjälp av FermaT transformationssystem.
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
{'venue': '7th Working Conference on Reverse Engineering 2000, 23--25 Nov 2000, Brisbane, Queensland, Australia. IEEE Computer Society', 'journal': None, 'mag_field_of_study': ['Computer Science']}