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

摘要：

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

关键词：形式化方法、统一软件过程、VDM++

所属期刊栏目：41

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

资助基金：国家自然科学基金60404004;中国科技大学与日本富士施乐公司联合资助项目FXVFP2003

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

页数：共5页

页码：100-103,122