形式化

What is your perspective on the impact of system modeling on formal verification?

你如何看待的影响的系统建模的形式化验证？

In order to improve the efficiency of the software development,a formal description for the system and its components are illustrated.

为了提高研制效率，给出了信息系统及其构件的形式化描述。

We first introduce the definition of service component formalism.

首先给出了服务构件的形式化定义。

However, the school is a specific formalization of the process.

然而，上学却是一个特定的形式化了的过程。

However, formalization method is based on profound mathematical theory which seems to be a challenge for most developers.

但是，形式化方法有着严格的数学理论，对开发者的要求比较高，因而，在实践中的应用并不是非常普遍。

More generally, here is the magic of formalization!

更一般地说，这就是形式化的魔力。

From the angle that formalization analyses, development problem can serve as a kind of special growth problem to handle.

从形式化分析的角度，发展问题可以作为一类特殊的增长问题来处理。

So far, this discussion of the formalization of an algorithm has assumed the premises of imperative programming.

到目前为止，本次讨论的形式化的算法已承担的房地必须编程。

Therefore, the research on formalization of status authentication system has certain practical significance.

身份认证是整个信息安全体系的基础，并越来越受到重视，因此研究身份认证系统的形式化具有一定的现实意义。

The research work in this paper mainly includes the following parts:(1) Establishment of the reference model of process control system and its formalization.

本文的主要研究工作可以归纳为如下几个方面：（1）过程控制系统参考模型的建立和形式化表示。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。