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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社