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.