| 单词 | Formal Methods |
| 释义 | 例句释义: 形式化方法,形式方法,正规方法,正规化方法 1. Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods. 其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。 www.ibm.com 2. In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages. 在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理（和限制）。 www.ibm.com 3. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 它还努力促进正规方法和工具，改善工业应用研究和发展。 www.ccebook.cn 4. Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue). 对100%的代码使用评审的规范方法（有人对这个百分比存在异议，简单来说是不现实的。 www.ibm.com 5. The formal methods have been applied on analyzing Electronic Commerce Protocols. 本论文应用形式化方法对电子商务协议进行分析，工作如下； www.fabiao.net 6. Normalizing a logical database design involves using formal methods to separate the data into multiple, related tables. 规范化逻辑数据库设计包括使用正规的方法来将数据分为多个相关的表。 msdn2.microsoft.com 7. The formal methods of security protocol was categorized as two classes: the symbol approach, and the computational approach. 安全协议形式化分析方法分为两种，即符号方法和计算方法。 www.ceps.com.tw 8. Such formal methods may help us sharpen our logic, but we almost never apply them in the real world. 这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。 www.ibm.com 9. Especially, we are interested in the contribution that formal methods can provide for their development. 特别是，我们是对正式方法可能为他们的发展提供的贡献感兴趣。 zhishi.sohu.com 10. A protocol testing theory is presented based on formal methods. 利用形式化方法构建了协议测试理论。 www.dictall.com 1. Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software. 形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。 www.fabiao.net 2. Multidisciplinary Design Optimization-Some Formal Methods, Framework Requirements, and Application to Vehicle Design 多学科设计优化——几种正式方法、框架需求以及在车辆设计中的应用 www.simwe.com 3. Software Architecture Description Approach Integrating Formal Methods and Visual Methods 形式化与可视化相结合的软件体系结构描述方法研究 www.ilib.cn 4. Extensions to a Finite Model Generator and Application to Formal Methods 有限构模器的扩展及其在形式化方法中的应用 www.ilib.cn 5. The Research of the Formal Methods for Security Protocol Verification 安全协议认证的形式化方法研究 www.wanfangdata.com.cn 6. Formal Methods Application: An Empirical Tale of Software Development 形式方法应用：软件开发的经验之谈 eleit.stlib.gd.cn 7. A Survey of Formal Methods of Software Component Representation and Retrieval 软件构件表示与检索形式化的研究与进展 www.ilib.cn 8. Lectures on Formal Methods and Performance Analysis 形式方法与性能分析讲义 www.dushu.com 9. Formal methods for open object-based distributed systems 开放式基于对象分布式系统的正式方法 list.dangdang.com 10. Status and Development of Formal Methods for Performance Evaluation 性能评价形式化方法的现状和发展 www.ilib.cn 1. Application of Formal Methods in DSS for Equipment Support 形式化方法在装备保障决策支持系统中的应用 service.ilib.cn 2. Formal Methods for Components and Objects 组件与对象用形式方法 list.dangdang.com 3. Research of Formal Methods in CSTA System Test 形式化方法在CSTA系统测试中的应用研究 168.160.184.82:8080 4. Formal Methods in System Design 系统设计的形式方法 bbs.w3china.org 5. Don't Be a Slave to Formal Methods 不要做形式方法的奴隶 blog.csdn.net 6. Economical Use of Formal Methods 形式化方法的经济使用 bd.hacker.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。