维也纳定义方法;
例句:
This paper introduces a formalized analysis method for software development: Vienna Development Method ( VDM).
介绍了软件开发方法中的一种形式化分析方法:Vienna development method(VDM)。
As you can see, the VDM consists of three parts
正如您所见,VDM包含三个部分
The VDM provides three deployment options
VDM提供了三个部署选项