| 1. | A design pattern provides a formal definition of a solution and of the problems to which it applies
设计模式提供了一种解决方案，以及其适用问题的正式定义。 |
| 2. | The formal definition of classes and properties in the doap vocabulary can be found in the doap schema see
Doap词汇表中的类和属性的形式化定义可以在doap模式中找到（请参阅 |
| 3. | In a more formal definition , topic specialization starts with the containing element and works from the top down
在更正式的定义中，主题专门化从包含元素开始，自顶向下工作。 |
| 4. | In doing so , a formal definition of the service can be extended to support policies based upon endpoint definitions
完成这些之后，服务的标准定义可以被扩展为多个端点之上策略支持。 |
| 5. | The formal definition of the vmts is presented . the paper also designs the organization schema by means of vmts
建立了虚拟制造团队的形式化模型，并基于虚拟制造团队对系统组织结构进行了设计。 |
| 6. | Chapter three first introduces some terms to describe agent from software methodology view . then gives the formal definition of agents using z language
第3章从软件方法学角度确定描述agent的基本术语，并以此为基础用z语言给出agent的形式定义。 |
| 7. | Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science
自动控制理论允许执行正式的计算定义，因为它引用了相关的计算机科学的其他非理论方面的概念。 |
| 8. | The service help page also provides a link to the xml web service s service description , which is a formal definition of the xml web service s capabilities
服务帮助页还提供了指向xml web services的服务说明的链接，服务说明是对xml web services的功能的正式定义。 |
| 9. | A formal definition of proposition formulae was provided by context - free grammar , and the conversion from proposition formulae to polynomials was solved automatically
摘要该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法。 |
| 10. | At first , there u , ill be an overview of web services a more or less formal definition will be gix ' en xv ' hen introducing the term web service
本文从web服务的定义和体系结构出发，引入web服务协议栈，并详细说明了构成web服务的各个标准规范及其功能，以及协议的基础- - xml 。 |
