| 摘要: |
| 在指出VDM方法用于较大程序开发的不足的基础上，本文提出了基于模型分解、模块化和运算分解思想的数据分解的概念，并将其引入VDM，从而得到比VDM更加一般的软件形式化开发方法DD—VDM．在DD—VDM中，可采用较为灵活的开发策略，并且开发过程的复杂性也可得到有效控制． |
| 关键词: 形式化方法，数据分解，VDM，模块化，复杂性． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到跨世纪优秀人才基金和国家攀登计划基金资助. |
|
| A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM |
|
La Jian,Zhang Jianying
|
| Abstract: |
| After pointing out the main shortcomings of VDM in developing larger pro-grams，this paper introduces a new concept—DD(date decomposition)which is based on the ideas of model split，modularisation and operation decomposition，and combines it with VDM to form a more general formal development method DD—VDM．As a result，a more flexible development strategy can be adopted and the development complexity can be effectively controlled． |
| Key words: Formal method,data decomposition,VDM,modularisation,complexity． |
