XPath 1.0: Read the formal definition of XPath in the original specification.
XPath 1.0：查阅原始规范中对XPath的正式定义。
Before we get into a formal definition of a realization, let's step back and ask, "What really is a use case?"
在我们给出用例实现的定义之前，回过头来看一下，到底什么是用例？
In a more formal definition, topic specialization starts with the containing element and works from the top down.
在更正式的定义中，主题专门化从包含元素开始，自顶向下工作。
Most nonprofessionals have a pretty good sense of what narcissism means, but the formal definition is more precise than the dictionary meaning of the term.
大多非专业人士都对自恋意味着什么有着很好的判断力，但这个术语的形式定义要比字典上的意义精确很多。
Application assets are increasingly using a more formal definition to describe their behavior, and this makes them ideally suited to be stored in a registry.
越来越多的应用程序资产使用更正式的定义来描述其行为，这使得它们非常适合于存储在注册中心。
What is its formal definition?
它的正式定义是什么？
Furthermore, a formal definition of open object is proposed.
同时本文还给出它的形式定义。
The formal definition of GOOPN and its operation laws are given.
给出了GOOPN的形式定义及运行规则。
This is the formal definition of the "standard" Scheme language.
这是“标准”Scheme语言的形式化定义。
A formal definition for the net is given and its representation power is discussed.
对该网进行了形式定义，并讨论了它的表示能力。
The critical descriptive and formal definition of linear list is also promoted in this paper.
并给出了线性表的严密的描述性定义和形式化定义。
In 1972, Paris International Noise Professional Meeting gave a formal definition of infrasound, and discussed its exposure standards.
1972年，巴黎国际噪声专业会议正式确定了次声的定义，并对次声的暴露标准展开讨论。
Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。
Part of this second step is the formal definition of the trace between a specific business process activity and the corresponding identified business use case.
第二个步骤中的一部分是具体的业务流程活动及其相应的已确定的业务用例之间可追溯的形式化定义。
Once the service has been developed and the service interface is complete, you should capture the service WSDL and use it as the formal definition of the interface.
服务开发并完成了服务接口后，应该捕获服务WSDL，并将其作为接口的正式定义使用。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The logical or formal definition is the dictionary definition which is rigid in form. It is often used in clarifying meanings of concrete or non-controversial terms.
逻辑定义（正式定义）即字典定义，有着严格的形式，它常用来解释具体的、没有争议的术语。
This paper reinforces the formal definition of context lattice, provides some properties of formal contexts, and proves that a context lattice is a complete lattice.
介绍了背景格的定义及其构造方法，并给出了背景格的若干性质以及完备性证明。
Another common example USES the notion of a wrapped operation, which has become widely accepted within the industry despite the fact that there is no formal definition for the pattern.
另一个常见的示例使用包装操作的概念，尽管该模式尚未被正式定义，但在业界已得到广泛接受。
The formal definition of coevolution runs something like this: "Coevolution is reciprocal evolutionary change in interacting species," says John Thompson in Interaction and Coevolution.
约翰•汤普森（4）在《互相影响和共同进化》一书中对“共同进化”做了一个正式定义：“共同进化是互相影响的物种间交互的进化演变。”
It also suffers from the lack of an authoritative formal definition, resulting in successive "add on" clarifications that have patched some of the holes in the original specification document.
它也缺少一种权威的正式定义，导致后来需要“附加”说明来修补原始规范文档的各种漏洞。
Combined with the types of the misrepresentation such as False Recordation, Mislead Statement, Serious Omission and Irregular Revelation, the paper gives a formal definition for Material.
结合虚假陈述的表现形态，即虚假记载、误导性陈述、重大遗漏和不正当披露，对“重大性”作了理论上的认定。
Next we consider the adversarial model in the Internet environment. We analyze properties that commitment schemes should have especially in the bare public key model and give a formal definition.
其次我们分析了网络环境下的攻击者模型，考虑了承诺方案应该具备的性质，并形式化定义出在裸公钥模型下承诺方案应该达到的安全属性。
Next we consider the adversarial model in the Internet environment. We analyze properties that commitment schemes should have especially in the bare public key model and give a formal definition.
其次我们分析了网络环境下的攻击者模型，考虑了承诺方案应该具备的性质，并形式化定义出在裸公钥模型下承诺方案应该达到的安全属性。
应用推荐