利用形式化方法构建了协议测试理论。
A protocol testing theory is presented based on formal methods.
一种详细描述测试套件和测试脚本的形式化方法。
A formalized approach to elaborate the test suites and test scripts.
形式化方法是构建可信软件的重要途径。
Formal method is an important approach for construction of the trustworthy software.
众多的形式化方法在功能上可以实现互补。
Different forms of formalized method may be complimentary in function.
语言是目前广泛使用的一种形式化方法语言。
Z language is a kind of rather popular at present and used extensive form specifications languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
目前，形式化方法在检测特征交互问题方面仍然是最有效的方法之一。
So far, formal method is still one of the most effective methods to detect feature interaction problems.
提出了适合领域应用的基于描述树的构件柔性组装描述的形式化方法；
A novel formal method of description for component composition is proposed which is based on the description tree, and is very suitable for specific domain applications.
为了研究通信协议的时间性质，需要一种能够描述时间的形式化方法。
The mobile ambients is extended with time, then a new formalism—real-time mobile ambients with types is presented.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
更详细地介绍活动如何执行，由哪些角色执行的形式化方法是使用业务用例及其实现。
The formalism to describe in more detail how an activity is performed, and by which actors, is to use Business use Cases and their realizations.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。
A formal method of specifying and analyzing real-time systems was presented based on automatic machine theory.
首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构。
A dialogue centric cognitive control architecture is presented, which utilizes both agent-oriented programming and formal methods.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
为了帮助IT组织评估过多的公开源码产品的成熟度，作者设计了一个形式化方法以及一个标准化的分析框架。
To help IT organizations evaluate the maturity of the plethora of available open source products, Golden proposes a formal methodology with a standardized analytical framework.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
应用推荐