VDM在银行软件开发中的应用

• 作者: 王命延 邵开丽
• 来源期刊: 科技广场
• 学科: 工学
• 关键词: 软件工程 软件开发 VDM
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 应用与开发
• 页码范围: 42-44
• 页数: 3页
• 分类号: TP311
• 字数: 2170字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-4792.2005.02.013

摘要

针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情况,应用VDM对银行存款系统进行了规范说明、程序实现和程序验证,提高了银行存款系统的安全性和可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王命延	南昌大学计算中心	52	388	10.0	17.0
2	邵开丽	南昌大学计算中心	1	1	1.0	1.0