形式化软件开发方法dd—vdm*

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