通过程序转换实现从汇编到形式规格说明的逆向工程
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
摘要：
FermaT转换系统基于达勒姆大学、德蒙福特大学和Software Migrations Ltd.过去十六年进行的研究，是一个工业强度的形式转换引擎，在程序理解和语言迁移方面有许多应用。本文是一个案例研究，它使用自动化加上手动指导的转换和抽象转换为一个非常高层次的抽象规范的IBM 370汇编代码程序。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
