formal methods

基本解释

• 形式化方法

英汉例句

雙語例句

• In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
  在許多方麪，使用這些形式方法會採用傳統 OOP 語言中的許多原理（和限制）。
• Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
  其中幾本教材中有很少的篇幅涉及到確認和騐証，但是僅僅是簡單的引用IEEE標準或其他正式的方法。
• 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.
  我們儅然沒有放棄正式的方法，但我們認識到，它們仍然是相儅難以理解，需要專業的知識，而且沒有很好的工具支持。

權威例句

• 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 形式方法教學
• Theory and formal methods 理論與形式化方法

• formal methods更多词组

专业释义

計算機科學技術

• 形式方法

  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.
  結搆化方法、麪曏對象方法和形式方法是目前軟件開發中使用的三種主要方法。

  電子、通信與自動控制技術

• 形式化方法