For a formal specification of the verb set XML syntax, see the XML schema.
有关谓词集xml语法的正式规范，请参阅XML模式。
For a formal specification of the parameterized verb XML syntax, see the XML schema.
有关参数化谓词xml语法的正式规范，请参阅XML模式。
It? S not a formal specification, but a readable introduction to each language feature.
它并不是一个标准规范，而是一本介绍每门语言特性的可读书籍。
Then, the formal specification can be written according to the use case scenarios.
本文研究了基于形式规格说明来生成有效测试用例的方法。
The formal specification is good, albeit somewhat difficult reading (as with most specs).
正式的规范很好，虽然读起来有点困难（与大多数规范一样）。
For a formal specification of the staff query XML syntax, see the corresponding XML schemas.
有关人员查询xml语法的正式规范，请参阅对应的XML模式。
You can find the latest formal specification for JAX-RPC handlers in JSR 921 (see Resources).
您可以在JSR 921中找到JAX -RPC处理程序的最新正式规范(请参阅参考资料)。
Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。
The XLIFF format definition as stated in the formal specification is concise, clear, and practical.
正式规范中的xliff格式非常精确、清晰和实用。
Specification patterns are design patterns that are expressed in a formal specification language.
规约模式就是用某种形式化语言表示的设计模式。
Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.
最后对基于票据计算的形式规格说明的例子进行了分析。
The research on formal specification for design patterns acts an important role in reuse of design patterns.
设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义。
An approach for generating test cases from formal specification and the classification-tree method is presented.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
We have developed a formal specification and a proof of safety for the consensus mechanism described in Section 5.
我们已经制定了正式的规范并如第5章描述的一致性算法安全性的证明。
The production of formal specification of interfaces between components in advance of coding had not previously been done.
在编码没有完成之前生成组件间接口的正式规范。
It is an architecturally neutral but formal specification of the requirements that does not over-constrain the SOA solution.
它是与体系结构无关的但是正式的需求规范，它它并不过度约束soa解决方案。
The format of schema files for the validator was designed so that it is a simple task to create from a formal specification.
验证器的架构文件的格式是经过预先设计的，以便从一个正式规范创建架构成为一个简单任务。
It is an architecturally neutral but formal specification of the requirements that does not over - constrain the SOA solution.
它是与体系结构无关的但是正式的需求规范，它它并不过度约束soa解决方案。
The contract is the formal specification, its what the design has to meet and its this that should be used for all forms of testing
契约是正式的规格说明，设计必须满足它，而且各种形式的测试也都应该使用它。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
Provides a formal specification of the quality of service used to send messages to a service, and references the network addressable endpoints.
—提供服务质量的正式规范，用于发送消息给服务并引用网络可寻址端点。
A business ontology is a formal specification of business concepts and their interrelationships that facilitates machine reasoning and inference.
业务ontology已经成为业务概念及其关系的一种正式规范，它们可以简化机器推理的过程。
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
It covers data flow diagrams and several formal specification techniques, such as relational notations, state notations, regular expressions, and so on.
它覆盖了数据流图和一些正式的规范技术，如关系记号，状态记号，规则表示法等等。
Ontologies - explicit formal specification of the terms in the domain and relations among them. White paper cites the the Open Group SOA Ontology, which.
本体——关于领域其及相互关系方面的明确的正式规范。
Service Level Agreement (SLA) -- Provides a formal specification of the dependencies that a particular Service Version may have on other defined services.
服务级别协议（Service Level Agreement，SLA）— 对特定服务版本可能在其他已定义服务上含有的依赖项提供正式规范。
应用推荐