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

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