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.