全部

1·Chapter 4 puts forward a formal method for assembly scheme design.

第四章提出了产品装配方案的形式化设计方法。

2·Formal method is an important approach for construction of the trustworthy software.

形式化方法是构建可信软件的重要途径。

3·The type system is a formal method and tool for designing and studying programming languages.

类型系统是一种设计和研究程序设计语言的形式化方法和工具。

4·In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.

事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。

5·So far, formal method is still one of the most effective methods to detect feature interaction problems.

目前，形式化方法在检测特征交互问题方面仍然是最有效的方法之一。

6·Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.

串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。

7·A formal method of specifying and analyzing real-time systems was presented based on automatic machine theory.

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。

8·There has always been a need for a formal method to communicate this design, and a system to validate that communication.

但是通常情况下需要用一种正式的方式来传达这个设计，系统需要确认这个沟通。

9·For formal method, its complexity makes it hard to popularize in practice and no standard makes a great lot of waste.

而形式化方法的复杂性使得在实践中难以得到推广，而且各种非形式化方法的非标准化又造成了浪费。

10·Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.

协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。