| 单词 | formal method | ||||||||||||
| 释义 | formal method
更多释义 收起释义 例句释义: 形式化方法,形式方法,形式演绎法 1. There has always been a need for a formal method to communicate this design, and a system to validate that communication. 但是通常情况下需要用一种正式的方式来传达这个设计，系统需要确认这个沟通。 www.ibm.com 2. The hierarchical control structure is studied as a hybrid system. The formal method description, analyses and design are also given. 并把递阶自适应控制结构用混合系统方法进行研究，提出了基于形式化技术的描述、分析和设计方法。 www.pet2008.cn 3. Formal method is an important approach for construction of the trustworthy software. 形式化方法是构建可信软件的重要途径。 www.dictall.com 4. Protocol engineering uses a formal method to describe all the activities during strict protocol design and maintenance. 协议工程用形式化的方法描述在协议严格的设计和维护中的各个活动。 www.fabiao.net 5. This paper described an easy, unified formal method for developing non-recursive algorithms. 提出了一种简单、统一的形式化开发非递归算法的方法。 www.ceps.com.tw 6. Model checking is a formal method for verifying the temporal logic properties of finite state systems. 模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。 www.joces.org.cn 7. in order to satisfy this requirement , formal method which is based on precise mathematical foundation must been used. 为了它到这个目的，必须使用具有严格数学基础的形式化方法。 www.ichacha.net 8. in this thesis , schematic summary about formal method is presented. 在本文中，我们首先对形式化方法作了一个概要的介绍。 www.ichacha.net 9. The team coaching methods included the formal method and the informal method. 团队教导的方式包括正式型态及非正式型态。 www.cetd.com.tw 10. In the formal method, one would say, "Please turn your attention to this over here. " 正式用语中，一个人会说：“请你注意我这边。” edu.sina.com.cn 1. The formal method is useful to analyze and verify security protocols. It can uncover bugs which are difficult to find by testing. 采用形式化方法建模和验证安全协议可以检测到传统测试手段难以发现的错误。 www.joces.org.cn 2. Practical study of software reverse engineering with formal method 形式化技术应用于软件逆工程的实践研究 www.ilib.cn 3. Hardware Design Verification: Simulation and Formal Method-Based Approaches 硬件设计验证：基于模拟与形式的方法 www.hzbook.com 4. Formal Method Research on Integer Multiplier Verification 整数乘法电路的形式化验证方法研究 www.ilib.cn 5. meanwhile , formal method ' s principle and major content were also dissertated 同时也阐述了形式化方法的原理及主要内容。 www.ichacha.net 6. An Application of Formal Method in Microcomputer Simulative Software 微机仿真系统中形式化方法的应用 ilib.cn 7. A Formal Method for Software Concurrent Engineering Process Modeling 支持软件并行工程过程建模的一种形式化方法 www.ilib.cn 8. Research on a Formal Method for Software Composite Connectors 软件复合连接件的形式化研究 service.ilib.cn 9. A Formal Method for Analyzing Electronic Commerce Protocols 一种电子商务协议形式化分析方法 www.ilib.cn 10. A Formal Method of Interface-Connection Component Composition 接口连接式构件组装的一种形式化方法 www.ilib.cn 1. A Formal Method about Conformance Testing of Router Protocol 关于路由协议的一致性测试的一种形式方法 www.ilib.cn 2. The Application of Formal Method to CAD Software Development 形式化方法在CAD软件开发中的应用 www.ilib.cn 3. Parallel Solution of Hanoi Tower Obtained by Using Formal Method 用形式化技术求河内塔的并行解 www.ilib.cn 4. On Formal Method for Railway Signal Field 铁路信号域形式化方法研究 ilib.cn 5. Software Testing Model Based on Formal Method 形式化的软件测试模型研究 ilib.cn |
||||||||||||
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。