您要查找的是不是：
- To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method. 摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。
- To eliminate the incompleteness,inconsistence and ambiguity in the software requirement,the formal method could be used to describe the requirement. 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique. 第六章结合软件系统测试的需要，给出了一个用RAISE形式化CSTA的实例，并根据该实例剖析了系统测试中的形式化技术。
- Combination of modeling based on UML and modeling based on formal method is one of the good solutions for verification and modeling of embedded real-time software. 为了提高系统的安全性和可靠性;将基于UML的建模方法与形式化建模方法相结合;可以为嵌入式实时软件建模和验证提供一种良好的解决方案.
- In 1989, Burrow, Abadi and Needham developed BAN logic, which quickly become the most widely used and discussed formal method for the analysis of protocols. 1989年,Burrow,Abadi和Needham提出了BAN逻辑,它很快得以广泛的应用并且成为分析协议的常规方法。
- 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. 研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
- Equivalence partitioning is a much more formalized method of test case design. 等价类划分是一个更加形式化的设计测试用例的方法。
- This paper makes a summary of seurity of protocols and formal method in chapter 2.Strand Space, brought forward by Fabrega, Herzog and Guttman, is a applied, intuitionistic and strict formal method for security protocols analysis. 串空间(STRAND SPACE)模型由Fabrega, Herzog和Guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。
- By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model. 借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
- 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. 这种正式的方法可能会帮助我们锻炼逻辑思维能力,但是我们基本上决不会将它们应用在实际的工作当中。
- Normalizing a logical database design involves using formal methods to separate the data into multiple, related tables. 规范化逻辑数据库设计包括使用正规的方法来将数据分为多个相关的表。
- Formal methods of teaching are going out fast, and new ones are coming in all the time. 正规的教学方法正迅速过时，新的方法正不断出现。
- The method seems good but it needs to be tried out. 这个方法似乎不错，但需要试验一下。
- Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research. 提高形式验证的验证规模和速度成为国际研究的热点。
- The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are allies. 我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
