那么，在反病毒技术中使用形式方法毫无意义吗？

Are we saying that it is not worth using formal methods in anti-virus technologies?

youdao

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。

Structured methodology, object oriented methodology and formal methods are different software development methods.

youdao

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

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

youdao

It's a way of thinking about form that has more to do with individuality than it does with convention.

思考这种形式的方法，与传统习惯相比,与个性更有关系。

耶鲁公开课 - 1945年后的美国小说课程节选

Now this is actually a poor way to do it, because you might say, well, it's just the list.

它以这种形式显示出来了，现在这实际上是一种很差劲的方法，因为你可能会说，好吧。

麻省理工公开课 - 计算机科学及编程导论课程节选

The simplest way to express this proposal in a block diagram is that we take sense of this information into the brain.

要以图表的形式解释这种方案最简单的方法,即将这一信息传给大脑。

斯坦福公开课 - 7个颠覆你思想的演讲课程节选