首页 | 本学科首页   官方微博 | 高级检索  
     检索      

采用形式化技术的软件再工程
引用本文:周华,李少云,段清,何彦彬,沈勇.采用形式化技术的软件再工程[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 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号