Chapter 4 puts forward a formal method for assembly scheme design.
第四章提出了产品装配方案的形式化设计方法。
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
In facts 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.
目前，形式化方法在检测特征交互问题方面仍然是最有效的方法之一。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
A formal method of specifying and analyzing real-time systems was presented based on automatic machine theory.
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。
There has always been a need for a formal method to communicate this design, and a system to validate that communication.
但是通常情况下需要用一种正式的方式来传达这个设计，系统需要确认这个沟通。
For formal method, its complexity makes it hard to popularize in practice and no standard makes a great lot of waste.
而形式化方法的复杂性使得在实践中难以得到推广，而且各种非形式化方法的非标准化又造成了浪费。
Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance.
协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
用形式化的方法描述了XML文档模型，并提供了一系列规则来保证模型描述的XML文档的良构性。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
This paper introduces a idea, that is necessary to re-search programming in formal method. And it discusses some difficulty in this field.
该文阐述了应研究形式化程序设计方法的意见，以及目前在这一领域尚存在的困难和解决的途径。
Regardless, the practices can offer great dividends in quality, whether adopted on their own, or as part of a broader, more formal method adoption.
不论如何，操作都可以提供高质量高回报的软件，不管是否采用它们自己的方式，或者作为更广泛，更规范方法的一部分。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
If you design software for a large organization, there may be an established standard methodology practiced informally or as a mandatory formal method.
如果为大型组织设计软件，则可能会有确定的以经过实践的非正式方式或强制的正式方式采用的标准方法。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
A formal method of improving your self-understanding is to obtain feedback about yourself in the process of participating in the personal growth group.
参加个人成长小组也是一个可以改善(或增进)自我认知的一个很正规的方法。
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.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.
因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。
But even if you are not using a formal method that requires refactoring, Eclipse's refactoring tools provide a time-saving way to make common types of code changes.
但即便您并没有使用要求进行正式重构的方法，Eclipse的重构工具还是可以在进行一般的代码修改时提供节约时间的方法。
This paper analyzes a formal method of analyzing storage covert channel identification based on information flow analysis, discussing the key points in details.
本文系统介绍了隐通道的概念，着重阐述基于信息流的存储隐通道标识方法，讨论该方法中的关键问题和重要细节。
Most recent year 1 guidance promotes a formal method for teaching and learning, with emphasis on literacy and numeracy activities such as the literacy hour (DfES 2005).
最近1年的指导对于教学和学习来说是一种形式化的方法，它强调识字和算术等活动重点(2005小时的识字技能)。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
应用推荐