那么,在反病毒技术中使用形式方法毫无意义吗?
Are we saying that it is not worth using formal methods in anti-virus technologies?
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。
Structured methodology, object oriented methodology and formal methods are different software development methods.
在许多方面,使用这些形式方法会采用传统OOP语言中的许多原理(和限制)。
In many ways, using these formal methods imposes much of the discipline (and limitations) you find in traditional OOP languages.
我们观察问题的基本角度是:为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are Allies.
借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
通过提高知识,我们不仅创造了新的资源形式,而且还找到了节约使用资源的方法。
By advancing knowledge, we not only create new forms of resources, but we also find ways to economize their use.
你这个结论是按照形式逻辑的方法推论出来的。
You arrived at your conclusion using the methods of formal logic.
这些交互作用的形式是方法调用和调用返回。
Those interactions have the form of method calls and call returns.
有些容器以框架方法的形式强制将自身加入到组件的业务逻辑中。
Some containers impose themselves into the business logic of a component in the form of framework methods.
它为服务提供者提供一个简单的方法描述申请的形式并响应远程方法调用信息(RMI)。
It provides a simple way for service providers to describe the format of requests and response messages for remote method invocations (RMI).
资产是资源方法返回的特殊形式的实体对象。
An asset is a special form of entity object that a resource method returns.
构造函数方法从验证数据形式是否适合于处理开始。
The constructor method begins by verifying that the data is in a form suitable for processing.
程序的其他部分可以随后调用这个方法,一般会通过参数的形式传递给这个方法一些信息,然后获取方法返回的结果。
Other parts of the program can then call that method, possibly passing it information in the form of arguments and receiving a result returned by that method.
您应该非常熟悉组织的企业体系结构原则和用于管理与执行开发项目的各种形式化的方法。
You should be intimately familiar with the enterprise architecture principles of the organization and with the various formal methodologies for managing and executing development projects.
知道为什么在我对ARP的简短描述中没有提到任何形式的认证方法吗?
Know why my short description of ARP doesn't mention any sort of authentication method?
可以通过印刷品形式或在线订阅方法获得《开发业务》。
Development Business is available in either print format or by online subscription.
为了帮助IT组织评估过多的公开源码产品的成熟度,作者设计了一个形式化方法以及一个标准化的分析框架。
To help IT organizations evaluate the maturity of the plethora of available open source products, Golden proposes a formal methodology with a standardized analytical framework.
思考这种形式的方法,与传统习惯相比,与个性更有关系。
It's a way of thinking about form that has more to do with individuality than it does with convention.
我总是能够选择之后我要从事的方向,决定我的工作形式以及工作方法。
I’ve always been able to choose what I worked on next, and to define (or invent) my own working style and methods.
无论计划方法或者形式如何,都需要扬弃来运用计划。
Whatever the planning method or the form of the plan, unlearning will very likely be needed to effectively use that plan.
这为链接到业务目标的业务相关服务的识别提供了一种形式化的方法。
That provided a formalism for identifying business relevant services that are linked to the business goals and objectives they are intended to fulfill.
因此,从下面(以简写形式)显示的handleMatch()方法中去除整个代码部分。
Therefore, remove the entire section of code shown below (in abbreviated form) from the handleMatch() method.
以 com.ibm.websphere.query.base.Query对象的形式,向 findResourcesByQuery方法传递查询的抽象表示。
The findResourcesByQuery method is passed an abstract representation of the query in the form of a com.ibm.websphere.query.base.Query object.
以ad-hoc测试的形式快速评测方法或属性
ApacheWink运行时还可以将资产以参数的形式注入资源方法中。
The Apache Wink run time can also inject an asset into a resource method as a parameter.
规范不以任何方式、形态或形式指定数组下标编排方法。
The specification does not specify array indexing in any way, shape, or form.
理解这种变化之后,我们可以设计药品或其他形式的治疗方法,来帮助发生这种突变的个人从细菌疾病中恢复。
By understanding this change, we may be able to design pharmaceuticals or other forms of therapy that will assist individuals with this mutation in recovering from bacterial disease.
我们可以想象使用三个低等王国的物质形式来工作的方法和途径,但是与生命没有任何关系。
We can imagine ways and means of working with the mineral forms of the three lower kingdoms, but can do little or nothing with living bodies.
该方法以数组形式返回每个行的各个元素(单元格)。
This method returns the individual elements (cells) of each row as an array.
更详细地介绍活动如何执行,由哪些角色执行的形式化方法是使用业务用例及其实现。
The formalism to describe in more detail how an activity is performed, and by which actors, is to use Business use Cases and their realizations.
应用推荐