| 采用形式化技术的软件再工程 |
| |
| 引用本文： | 周华,李少云,段清,何彦彬,沈勇.采用形式化技术的软件再工程[J].计算机工程与应用,2003,39(3):84-86. |
| |
| 作者姓名： | 周华 李少云 段清 何彦彬 沈勇 |
| |
| 作者单位： | 云南大学信息技术研究所,昆明,650091 |
| |
| 基金项目： | 云南省省院省校合作项目“软件开发与再生的工程化”资助(编号:OOYGH01) |
| |
| 摘 要： | 形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。
|
| 关 键 词： | 软件再工程 形式化方法 广谱语言 |
| 文章编号： | 1002-8331-(2003)03-0084-03 |
| 修稿时间： | 2001年12月1日 |
Software Reengineering with Formal Method |
| |
| Zhou Hua Li,Shaoyun Duan Qing He,Yanbin Shen Yong.Software Reengineering with Formal Method[J].Computer Engineering and Applications,2003,39(3):84-86. |
| |
| Authors: | Zhou Hua Li Shaoyun Duan Qing He Yanbin Shen Yong |
| |
| Abstract: | Formal methods can provide a solid theoretical foundation for software reengineering.This thesis discusses the formal methods about reengineering,and proposes a unified formal approach which orients software reengineering. |
| |
| Keywords: | Software Reengineering Formal method Wide Spectrum Language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
