Suppose you want to formalize the two policies I mentioned as examples.
假设希望把前面提到的两个策略示例形式化。
These connectors formalize the use dependency in the services architecture.
这些连接器将服务架构中的使用依赖形式化了。
Business analysts use them to formalize business processes into reusable artifacts.
业务分析人员使用这些工具来将业务流程形式化为可重用的构件。
'The point is to formalize social relations so you don't have to reveal your true self.
它的目的是使社会关系正式化，这样一来你就不必暴露你的真实自我。
The meeting will also seek to formalize existing targets to curb greenhouse gas emissions.
这次会议还试图明文规定现有的有关削减温室气体排放量的目标。
Indeed Adam's looking at ways to formalize things and make it even easier for people to connect.
实际上，亚当做的是找方法来把事物形式化，方便人们沟通。
SOA leverages services to simplify, formalize and bring agility to the creation of business solutions.
SOA利用服务简化和形式化业务解决方案的创建并提供敏捷性。
Rational RequisitePro provides the requirements management tooling necessary to formalize this process.
RationalRequisitePro提供了用于将这一过程形式化的需求管理工具。
JUnit does not do much (it's just a handful of classes), but it does help formalize the testing process.
JUnit没有很多功能(它只是一些类)，但它确实对形式化测试过程有帮助。
The couple's lawyer said they had already seen a judge to formalize the split and agreed financial terms.
据萨科奇夫妇的律师介绍，萨科奇与塞西莉亚已在法官的见证下办理完离婚手续，并就财产分割问题达成了协议。
This article is only a first attempt to formalize the method development process that the RUP team follows.
这篇文章仅仅是对RUP团队所追求的对方法开发过程形式化的一个初步尝试。
Notice my improvised use of owl: imports to formalize the incorporation of the SKOS concepts into the schema.
注意，我临时使用owl：imports规范化将SKOS概念合并到模式。
Business analysts and application analysts do not use the same language (such as UML) to formalize their systems.
业务分析人员和应用程序分析人员不使用同一种语言(例如，UML)来将它们的系统形式化。
Libra is also the sign ruling law, and when a Libran wants to formalize a love relationship, they want it to be legal.
天秤也是代表法律的一个标志，因而，当天秤座想要固化一段爱的关系，他们会想要将其合法化。
Knowledge discovery process in database is to formalize the knowledge contained in the database into a useful concept.
数据库知识发现的过程就是将数据库中蕴含的知识形式化为有用概念的过程。
But mathematicians formalize this in a particular way. And what they do is, they do it through the concept of parallel lines.
但数学家用一种特殊方式将这个形式化，他们所做的就是借由平行线的概念。
We can rely on informal documentation to specify such invariants, but the more invariants we can formalize and check, the better.
我们可以依靠非正式文件来规定这类不变量，我们标准化和检查的不变量越多，效果就越好。
The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
In order to formalize these phases, a roadmap containing a set of methodological principles has been defined to accompany the models.
为了将这些阶段规范化，除了模型之外，还需定义一个蓝图，其中包含一组方法原则。
First of all I wanted to formalize the way Service Layer classes were written when using asynchronous messaging (regardless of Web Services).
首先，我希望让开发人员在使用异步消息传递机制(无论是否使用Web Service)时，能够以一种固定的方式编写其服务层。
Therefore it would be good to formalize this concept a bit more, so that the reporters and the developers start out with the same expectations.
因此有必要再形式化一下这一观念，让报告者和开发者怀着共同的期望行动起来。
The approach I discuss in this article is an important refinement on that idea, which takes advantage of semantic anchors to formalize the annotations.
本文中讨论的方法是对这一思想的重要提炼，将利用语义锚实现注释的形式化。
We can actually formalize this by creating a diagram that shows how the service specifications would be used to fulfill the service Collaboration contract.
我们能够通过创建一个图来实现形式化，这个图展示了如何使用服务规范完成ServiceCollaboration契约。
I hope to change the common perspective that requirements only serve to formalize documentation and are just of concern to a particular role in an IT organization.
我希望改变这种普遍的看法，即需求的作用只是形成文档，仅需IT组织中特定角色的人关心就行了。
In 1993 China promulgated the Regulations on emergency Measures for nuclear Accidents at nuclear Power Plants to formalize nuclear emergency by regulatory means.
1993年，发布《核电厂核事故应急管理条例》，对核应急作出基本规范。
The Clone Allocator concept is introduced to formalize the way pointer containers control memory of the stored objects (and not the Pointers to the stored objects).
克隆分配器概念的引入是为了对指针容器控制所存对象的内存(不是指针的内存)的方法进行规范化。
The Clone Allocator concept is introduced to formalize the way pointer containers control memory of the stored objects (and not the Pointers to the stored objects).
克隆分配器概念的引入是为了对指针容器控制所存对象的内存(不是指针的内存)的方法进行规范化。
应用推荐