采用形式化技术的软件再工程

摘要：

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法.

关键词：软件再工程、形式化方法、广谱语言

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：云南省院省校合作项目OOYGH01

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：84-86