Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
This method allows policy across the bloc to be crafted where the EU does not have any formal powers.
这种方法允许欧盟在没有正式权力的领域，制定适用于所有成员国的政策。
If the method sketch includes visual models, it may be a good idea in some circumstances to evolve these models into formal project artifacts (e.g., method architecture or method design).
如果方法草图包含可视的模型，那么在一些情况下，将这些模型演进为正式的项目工件(举例来说，方法架构或模型设计)可能是个好主意。
Regardless, the practices can offer great dividends in quality, whether adopted on their own, or as part of a broader, more formal method adoption.
不论如何，操作都可以提供高质量高回报的软件，不管是否采用它们自己的方式，或者作为更广泛，更规范方法的一部分。
Within the body of a method, the variables that act as placeholders for the argument values are called formal parameters.
在方法主体用来给参数值作为占位符中的变量叫做形参。
Direct method is a method of teaching a language through conversation, discussion, and reading in the language itself without translation and without the formal study of grammar.
直接法是指不经过翻译和正规学习语法程序，而是通过用外语谈话，讨论，阅读等手段来教授语言的方法。
Balloon delivery of application method is simple to learn, the use of safety, it must be to go through formal training, the study of theory and practice of teaching, can we correctly grasp.
气囊助产施术方法简便易学，使用安全，但必须要经过正规的培训，进行理论学习与示教实习，才能正确掌握。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
Because of the traditional research method, art theory research is generally founded in the writer-centred method, neglecting the formal language value of the work.
由于传统研究方法的原因，美术学理论研究一般囿于作者中心论的方法，作品本身的形式语言价值被忽略了。
The type system is a formal method and tool for designing and studying programming languages.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
By comparing with narration method, the author finds that tabulation method is a more formal, more systematic and more facile method in analyzing sport skill movement.
通过对叙述法分析动作的思考，得出用表格法分析动作，有格式规范，全面系统、结果明了和易于掌握等特点。
In a fixed formal context, the method to construct concept lattice by adding attributes step by step is investigated.
研究在给定的形式背景下，通过逐步添加属性建造概念格的方法。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
Describing through the formal of triggers, the termination of cascaded triggers is discussed, and the method of the termination cascaded triggers in commercial database system is analysed.
通过给出触发器的形式描述，对级联触发器的终止性进行详细探讨，并分析了大型商用数据库系统终止级联触发器的方法。
The principle and method for the definition of sport include multidimensionality, broad sense, narrow sense, formal nature, and non formal nature.
体育概念界定的原则和方法包括多维性、广义性和狭义性、正式性和非正式性。
The method is based on the attribute of formal concept analysis.
这种方法是基于形式概念分析属性之上的。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
Metaphysical method is a scientific method, and formal logic should be reformed by dialectical method as it is the outcome of metaphysical method.
形而上学方法是科学方法，形式逻辑是形而上学方法的产物，故需要接受辩证方法的改造。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
应用推荐