%0 Journal Article
%T 形式化软件开发方法dd—vdm*
%A 吕建？
%A 张建莹？
%J 软件学报
%P 385-393
%D 1996
%X 在指出vdm方法用于较大程序开发的不足的基础上，本文提出了基于模型分解、模块化和运算分解思想的数据分解的概念，并将其引入vdm，从而得到比vdm更加一般的软件形式化开发方法dd—vdm．在dd—vdm中，可采用较为灵活的开发策略，并且开发过程的复杂性也可得到有效控制．
%K 形式化方法
%K 数据分解
%K vdm
%K 模块化
%K 复杂性．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s155&flag=1