Technology of Software Development Based on Formal Methods;
形式化方法是现代逻辑最重要的方法。
A protocol testing theory is presented based on formal methods.
利用形式化方法构建了协议测试理论。
Are we saying that it is not worth using formal methods in anti-virus technologies?
那么，在反病毒技术中使用形式方法毫无意义吗？
Formal methods of teaching are going out fast, and new ones are coming in all the time.
正规的教学方法正迅速过时，新的方法正不断出现。
Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.
这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。
Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue).
对100%的代码使用评审的规范方法有人对这个百分比存在异议，简单来说是不现实的。
Structured methodology, object oriented methodology and formal methods are different software development methods.
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。
It is an efficient way to implement automation of software by applying formal methods to object-oriented technology.
面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。
The upper bounds of the length of the test sequences generated by the above five formal methods are presented separately.
并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
A dialogue centric cognitive control architecture is presented, which utilizes both agent-oriented programming and formal methods.
首先给出一个以会话为中心采用面向代理编程和形式化方法的认知控制体系结构。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
Bmethod is one of the formal methods, which supports the whole process of software development from the specification to code generation.
形式化b方法支持从规格说明到代码生成的全部软件开发过程。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
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.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are Allies.
我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
Design of a protocol is a difficult and error-prone task, thus the use of formal methods that allow for the verification of such protocols has received increasing attention.
设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
We certainly have not given up on formal methods, but we realize that they are still quite difficult to understand, require specialized knowledge, and do not have great tool support.
我们当然没有放弃正式的方法，但我们认识到，它们仍然是相当难以理解，需要专业的知识，而且没有很好的工具支持。
Optimistic approach and game-theoretic foundations that deal with composition are the prominent characteristics of interface automata and are distinct from other formal methods.
接口自动机在处理组件组合问题时所使用的“乐观方法”和博弈思想是区别于其它形式化工具的关键点。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
应用推荐