形式化方法 meaning in English
formal methods
Examples
- As the formalized method and program validity testifying technology are still waiting to be practically applied . software testing still is the effective method to insure the quality of software
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。 - The thesis , which is a important part of the par method , is the important content of the project supported by the national natural science foundation of china - " the research of a practical formal developing method and its tools "
本文是par方法的重要组成部分，也是国家自然科学基金课题“实用的软件形式化方法及其开发工具研究”的重要内容。 - Strand space including a partial order describing causal structure and a analog recursion method , brought forward the boundary of the attacker ’ s capacity which does not depend on idiographic protocols
串空间方法包括了一个描述因果结构的偏序和一个类递归证明方法,提出了与所分析的具体协议无关的攻击者能力边界,是一种新型有效的形式化方法。 - It is the aim of the paper that how to improve the developing efficiency by formal method , the author adopts the idea of fuzzy math on the formal designing method , and put foreword a new formal designing method
本文的目的在于如何用形式化方法提高软件开发效率，作者把模糊数学的思想引入到形式化开发方法之中，提出了一种形式化开发的新方法。 - Using ontology theory in the field of km can be called km ontology . in this paper we mainly researched on these factions of km ontology : content , methods of formalization , maintenance and creation
将本体论理论应用于知识管理领域形成知识管理本体论，在tckm中，知识管理本体论主要研究知识管理本体论的内容、形式化方法、维护和建立方法等问题。