Such formal methods may help us sharpen our logic, but we almost never apply them in the real world.

这种正式的方法可能会帮助我们锻炼逻辑思维能力，但是我们基本上决不会将它们应用在实际的工作当中。

youdao

Formal methods of review are simply impractical to implement for 100% of your code (or any percent, some would argue).

对100%的代码使用评审的规范方法有人对这个百分比存在异议，简单来说是不现实的。

youdao

In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.

在许多方面，使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。

youdao

Of course, others will seek more formal methods of redress.

BBC: Should swearing be against the law?

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.