formal methods发音

意思翻译

形式化方法

相似词语短语

methods───n.方法，方式；研究方法（method的复数）

formal───n.(Formal)人名；(法)福马尔；n.正式的社交活动；夜礼服；adj.正式的；拘谨的；有条理的

numerical methods───数值方法；计算方法

formal education───正规教育；形式教育；形式教育; 正式教育

formal contract───正式合同；流通票据（可转让的票据）；要式合同；n.流通票据，可转让的票据

quantitative methods───计量方法；数量方法；测算方法

formal setting───正式场合；正式环境

formal name───正式名字；官名；官方名字

methods of───……的方法

双语使用场景

Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue).───对100%的代码使用评审的规范方法有人对这个百分比存在异议，简单来说是不现实的。

In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.───在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。

Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.───这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。

Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.───其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。

It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.───它还努力促进正规方法和工具，改善工业应用研究和发展。

The formal methods have been applied on analyzing Electronic Commerce Protocols.───本论文应用形式化方法对电子商务协议进行分析，工作如下；

Normalizing a logical database design involves using formal methods to separate the data into multiple, related tables.───规范化逻辑数据库设计包括使用正规的方法来将数据分为多个相关的表。

英语使用场景

A protocol testing theory is presented based on formal methods.

Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

Cleanroom combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for quality certification.

Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.

First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed.

Aspect-oriented Software Development and real-time Language Programming can reduce the complexity of real-time software. The formal methods can increase dependability of Software Development.