形式化方法应用于软件再工程  

Overview of Formal Methods in Software Reengineering

作　　者：邹俊[1] 

机构地区：[1]江西财经大学信息管理学院,江西南昌330013

出　　处：《科技广场》2009年第5期6-13,共8页Science Mosaic

摘　　要：介绍软件再工程与形式化方法之后,对形式化方法应用于软件再工程过程的国内外现状进行了总结,接着概括了形式化方法支持软件再工程过程的理论与实践基础,探讨了与形式化方法、软件再工程过程相关的主流技术,包括图形化技术、构件技术、复用技术、中间件技术、设计模式抽取技术,得出在软件再工程过程中,将形式化方法与各种技术相结合才能使其顺利实施的结论。The paper surveys the state of arts of formalization in software reengineering after introducing the basic concepts of reengineering and formal methods, then summarizes the theoretic and practical fundamentals of formal methods supporting for software reengineering process. It also discusses some mainstream technologies relevant to formal methods and software reengineering process including GUI technology, component-based technology, software reuse technology, middleware technology and design pattern abstraction technology. Finally, the paper suggests combining formal methods with a variety of technologies to smoothly implement software reengineering in the process of it.

关 键 词：形式化 规格说明 再工程 正向工程 逆向工程 程序理解 程序切片 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]