您要查找的是不是：
- Equivalence partitioning is a much more formalized method of test case design. 等价类划分是一个更加形式化的设计测试用例的方法。
- 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. 摘要为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。
- Owing to the utilization of the formalized method, logical calculus is more abstract and strict than the traditional logic in the study of the valid inferential form. 逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用。形式化方法包括构造形式系统(语法的)和对该系统进行解释(语义的)两个阶段。
- 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. 研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
- Metaobject parsing is a formalized method, which is used for system comprehension of the procedure-oriented legacy software.The method is based on object-oriented context free grammar. 元对象分析法是理解面向过程遗产软件系统的一种形式化方法，这种方法以面向对象的上下文无关文法为基础。
- By defining and deducing the reliabilities of forensic methods and data,the paper studies the formalized method of proving reliability. 通过对取证方法有效性和所取数据有效性进行一定的定义和推导,研究了电子数据取证有效性的形式化证明方法。
- 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三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。
- Formal methods of teaching are going out fast,and new ones are coming in all the time. 正规的教学方法正迅速过时，新的方法正不断出现。
- 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. 借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
- The method seems good but it needs to be tried out. 这个方法似乎不错，但需要试验一下。
- 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. 正规的教学方法正迅速过时，新的方法正不断出现。
- Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research. 提高形式验证的验证规模和速度成为国际研究的热点。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
