This paper introduces a formalized analysis method for software development: Vienna Development Method ( VDM).

介绍了软件开发方法中的一种形式化分析方法：Vienna development method（VDM）。

互联网摘选 2025-01-20 00:20:56

重点词汇

相关例句

1、

As you can see, the VDM consists of three parts

正如您所见，VDM包含三个部分
来源：互联网摘选
2、

The VDM provides three deployment options

VDM提供了三个部署选项
来源：互联网摘选
3、

VDM Algorithm in the Application of Data Mining

VDM算法在数据采掘中的应用
来源：互联网摘选
4、

A Comparison of the differences between Z and VDM Specification Languages

Z和VDM规格说明的差异比较
来源：互联网摘选
5、

Milk proteins, animal fats, vegetable oils , fish oils , lecithin, whey protein, FOS , taurine, trace-elements, vitamins.

牛奶蛋白、物脂肪、菜油、磷脂、清蛋白、果糖、磺酸、量元素、他命.
来源：互联网摘选
6、

The restaurant has been refurbished — it was found to be a fire risk

这家餐馆已经重新整修了——之前发现存在火灾隐患。
来源：《柯林斯高阶英汉双解学习词典》
7、

Do you have any idea what it means to be poor?

你知不知道贫穷意味着什么？
来源：《牛津高阶英汉双解词典》
8、

You really need to be mobile if you live in the country.

如果你住在乡村，你确实要有一辆汽车。
来源：《牛津高阶英汉双解词典》
9、

The group was considered to be a risk to national security.

这伙人被认为是威胁国家安全的危险分子。
来源：《牛津高阶英汉双解词典》
10、

There's money to be made from tourism.

旅游业非常有利可图。
来源：《牛津高阶英汉双解词典》
11、

It's only human nature to be worried about change.

对变革有忧虑不过是人之常情。
来源：《牛津高阶英汉双解词典》
12、

They claim to be the party of law and order.

他们声称自己是重视治安问题的政党。
来源：《牛津高阶英汉双解词典》
13、

£ 50 should be enough to be going on with.

50英镑该够应付一时半会儿的了。
来源：《牛津高阶英汉双解词典》
14、

I find it difficult to be objective where he's concerned.

只要涉及他，我就难以做到保持客观。
来源：《牛津高阶英汉双解词典》
15、

A new order seems to be emerging.

新的秩序似乎正在显现。
来源：《牛津高阶英汉双解词典》
16、

It was a real struggle to be ready on time.

要按时做好准备确非易事。
来源：《牛津高阶英汉双解词典》
17、

We want this to be like a home, not an institution.

我们希望这里像个家，而不像收容所。
来源：《牛津高阶英汉双解词典》
18、

Students are required to be in school by 8.30.

学生须在8:30以前到校。
来源：《牛津高阶英汉双解词典》
19、

Many teachers would like to be more adventurous and creative.

许多教师愿意更加进取，更富创造性。
来源：《牛津高阶英汉双解词典》
20、

Life was never going to be so free and easy again.

生活绝不会再那样无拘无束了。
来源：《牛津高阶英汉双解词典》