formal methods

基本解釋

• 形式化方法

英漢例句

雙語例句

• In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
  在許多方面，使用這些形式方法會采用傳統(tǒng) OOP 語言中的許多原理（和限制）。
• Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
  其中幾本教材中有很少的篇幅涉及到確認(rèn)和驗(yàn)證，但是僅僅是簡單的引用IEEE標(biāo)準(zhǔn)或其他正式的方法。
• We certainly have not given up on formal methods, but we realize that they are still quite difficult to understand, require specialized knowledge, and do not have great tool support.
  我們當(dāng)然沒有放棄正式的方法，但我們認(rèn)識到，它們?nèi)匀皇窍喈?dāng)難以理解，需要專業(yè)的知識，而且沒有很好的工具支持。

權(quán)威例句

• The problem for a lot of enterprises was that formal methods like TRIZ appeared to be too formal, or somehow not relevant (I think the opposite, TRIZ is highly relevant).
  FORBES: 4 Reasons Why 2013 Will Be The Year of The Innovator
• A. Traditionally, business in China is bound by handshakes and verbal agreements. (In the U.S., however, ) Chinese companies must provide written documentation of issues in order to comply with the law, which Chinese businessmen may find too rigid compared to their own traditional and less formal methods of doing business.
  FORBES: Seven Dos And Don'ts For Chinese Investors In The U.S.

• formal methods更多例句

詞組短語

短語

• formal consensus methods 正式共識法
• formal analysis methods 形式化分析方法
• Formal Methods for Components 組件與對象用形式方法
• Teaching Formal Methods 形式方法教學(xué)
• Theory and formal methods 理論與形式化方法

• formal methods更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式方法

  And software development automation relies on the degree of software refinement automation. Structured methods, object-oriented methods and formal methods are three kinds of prime software development methods.
  結(jié)構(gòu)化方法、面向?qū)ο蠓椒ê托问椒椒ㄊ悄壳败浖_發(fā)中使用的三種主要方法。

  電子、通信與自動控制技術(shù)

• 形式化方法