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.
  结构化方法、面向对象方法和形式方法是目前软件开发中使用的三种主要方法。

  电子、通信与自动控制技术

• 形式化方法