| 基于RUP和VDM++的软件形式化开发方法的研究 |
| |
| 引用本文： | 王新苏,罗文坚,毛晨晓,王煦法. 基于RUP和VDM++的软件形式化开发方法的研究[J]. 计算机工程与应用, 2005, 41(26): 100-103,122 |
| |
| 作者姓名： | 王新苏 罗文坚 毛晨晓 王煦法 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027;中国科学技术大学计算机科学与技术系,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金（编号：60404004）;中国科学技术大学与日本富士施乐公司合作项目（编号：FXVFP2003） |
| |
| 摘 要： | 形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。
|
| 关 键 词： | 形式化方法 统一软件过程 VDM++ |
| 文章编号： | 1002-8331-（2005）26-0100-04 |
| 收稿时间： | 2005-04-01 |
| 修稿时间： | 2005-04-01 |
Research on a Formal Software Development Method Based on RUP and VDM++ |
| |
| Wang Xinsu,Luo Wenjian,Mao Chenxiao,Wang Xufa. Research on a Formal Software Development Method Based on RUP and VDM++[J]. Computer Engineering and Applications, 2005, 41(26): 100-103,122 |
| |
| Authors: | Wang Xinsu Luo Wenjian Mao Chenxiao Wang Xufa |
| |
| Abstract: | Formal methods have been recognized as an effective way to specify software with more accuracy and less ambiguity to improve the software development.But it is difficult to be accepted by programmers because the specification can not be easily understood.The paper proposeds one development method based on RUP and VDM++.An experiment on one tally software system also been done and the experimental result proves that this method is feasible and effective. |
| |
| Keywords: | formal method Rational Unified Process(RUP) VDM++ |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
