形式化软件开发方法DD—VDM  

作　　者：吕建 张建莹 

出　　处：《软件学报》1996年第A00期385-393,共9页Journal of Software

摘　　要：在指出ＶＤＭ方法用于较大程序开发的不足的基础上，本文提出了基于模型分解、模块化和运算分解思想的数据分解的概念，并将其引入ＶＤＭ，从而得到比ＶＤＭ更加一般的软件形式化开发方法ＤＤ－ＶＤＭ、在ＤＤ－ＶＤＭ中，可采用罗为灵活的开发策略，并且开发过程的复杂性也可得到有效控制。

关 键 词：形式化 数据分解 软件开发 DD-VDM 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]