正如我所说，在古典芭蕾中，情感是通过一套严格形式化的动作来传递的。
As I said, in classical ballet, emotions are conveyed through a set of strictly formalized movements.
正如我们所学过的，古典芭蕾以形式化的动作和手臂、脚于身体的特定位置为基础。
As we have been studying, the classical ballet is based on formalized movements, specific positioning of the arms, feet and the body.
形式化的工作流模型越来越重要。
A formalized workflow model will become more important than it has been.
可风险不就是恐惧的一种形式化方式吗？
我不想把它搞得太形式化。
每一步中模型都进一步精化，更加形式化。
我们依照形式化递增的顺序介绍组织模板。
The organization templates are presented in increasing order of formality.
假设希望把前面提到的两个策略示例形式化。
Suppose you want to formalize the two policies I mentioned as examples.
进一步的工作无疑需要形式化soad方法。
Future work is certainly required to formalize the SOAD approach.
一种详细描述测试套件和测试脚本的形式化方法。
A formalized approach to elaborate the test suites and test scripts.
我们现在可以用如下需求集合来形式化一个流程。
We can now formalize a process in the following set of requirements.
过程完备性，组织结构过程是形式化的和可执行的。
Process maturity, the organization's processes are formalized and executed.
用一个形式化语法来确定语言事实上一种适当的方法。
Using a formal grammar to specify the language is in fact the appropriate technique.
一旦信息和方向得以确定，可视化本身需要加以形式化。
Once the information and direction are defined, the visualization itself needs to be formalized.
相反，形式化的类型可以保证多种交付品中重复使用设计。
By contrast, the formal types can ensure that the design can be repeated for many deliverables.
因此，对于这些使用依赖的方式来说，尚没有形式化的东西。
Therefore, there is no formalism for what these use dependencies mean yet.
服务规范是 “服务”的形式化表示，是具体的物理的表示。
The service specification is a formal representation of a "service" that is both a concrete and physical representation.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
SOA利用服务简化和形式化业务解决方案的创建并提供敏捷性。
SOA leverages services to simplify, formalize and bring agility to the creation of business solutions.
令箭式复查——将复查活动形式化，只因为是管理层打算这样做。
Token review - Doing the review as a formality just because the management intends to get it done.
此外，总线还支持总线入站内形式化的、可插的发现和选择机制。
In addition, the Bus supports formalized, pluggable discovery and selection mechanisms in the Bus on-ramp.
然而，即使从开始就计划好了重用，还必须形式化服务获取流程。
However, even if reuse is planned for right from the beginning, the process still has to formalize the service harvesting process.
还介绍了把系统分析与形式化的用户界面表示联系在一起的方法。
An approach to a formal representation of user interfaces linked with system analysis has been described as well.
UBL是最直观的电子商业事务框架，规模庞大而且非常形式化。
UBL is the most visible artifact of a sizeable and very formal framework for electronic business transactions.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
更可能的是，布兰克·费恩只是将实践中已经存在的某些元素形式化。
More likely, Blankfein just formalized certain elements that already existed in practice.
这为链接到业务目标的业务相关服务的识别提供了一种形式化的方法。
That provided a formalism for identifying business relevant services that are linked to the business goals and objectives they are intended to fulfill.
使用OCL更形式化地指定域模型中的业务规则和对象与组件的行为契约。
Use the OCL to more formally specify the business rules in the domain model and the behavior contracts for objects and components.
这篇文章仅仅是对RUP团队所追求的对方法开发过程形式化的一个初步尝试。
This article is only a first attempt to formalize the method development process that the RUP team follows.
本文中讨论的方法是对这一思想的重要提炼，将利用语义锚实现注释的形式化。
The approach I discuss in this article is an important refinement on that idea, which takes advantage of semantic anchors to formalize the annotations.
应用推荐