基于RUP和VDM++的软件形式化开发方法的研究

• 作者: 毛晨晓 王新苏 王煦法 罗文坚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化方法 统一软件过程 VDM++
• 年，卷（期）: 2005,（26）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 100-103,122
• 页数: 5页
• 分类号: TP311
• 字数: 4795字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.26.030

摘要

形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段.但形式化软件规范不直观,不容易被开发人员所接受.该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王煦法	中国科学技术大学计算机科学与技术系	191	4142	33.0	58.0
2	罗文坚	中国科学技术大学计算机科学与技术系	31	691	14.0	26.0
3	毛晨晓	中国科学技术大学计算机科学与技术系	4	14	3.0	3.0
4	王新苏	中国科学技术大学计算机科学与技术系	2	7	2.0	2.0