摘要：介绍软件再工程与形式化方法之后，对形式化方法应用于软件再工程过程的国内外现状进行了总结，接着概括了形式化方法支持软件再工程过程的理论与实践基础，探讨了与形式化方法、软件再工程过程相关的主流技术，包括图形化技术、构件技术、复用技术、中间件技术、设计模式抽取技术，得出在软件再工程过程中，将形式化方法与各种技术相结合才能使其顺利实施的结论。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社