正如我所说，在古典芭蕾中，情感是通过一套严格形式化的动作来传递的。
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.
过程完备性，组织结构过程是形式化的和可执行的。
Process maturity, the organization's processes are formalized and executed.
相反，形式化的类型可以保证多种交付品中重复使用设计。
By contrast, the formal types can ensure that the design can be repeated for many deliverables.
它旨在为信息变化提供一套形式化的处理办法。
It aims to provide formal means of analysis of information change.
因此，对于这些使用依赖的方式来说，尚没有形式化的东西。
Therefore, there is no formalism for what these use dependencies mean yet.
还介绍了把系统分析与形式化的用户界面表示联系在一起的方法。
An approach to a formal representation of user interfaces linked with system analysis has been described as well.
构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
通过的发表形式化的语法和语义，它应当得到完全的描述。
It should be completely described via the publication of a formal syntax and semantics.
这为链接到业务目标的业务相关服务的识别提供了一种形式化的方法。
That provided a formalism for identifying business relevant services that are linked to the business goals and objectives they are intended to fulfill.
形式化的政策和程序通常用于建立和制度化的网络安全程序。
Formalized policies and procedures are typically used to establish and institutionalize a cyber security program.
五种形式化的偏好定义表明，偏好概念应该有更一般的定义。
Five formalized definitions of preference show that a general definition should be given.
此外，总线还支持总线入站内形式化的、可插的发现和选择机制。
In addition, the Bus supports formalized, pluggable discovery and selection mechanisms in the Bus on-ramp.
这篇文章仅仅是对RUP团队所追求的对方法开发过程形式化的一个初步尝试。
This article is only a first attempt to formalize the method development process that the RUP team follows.
这些知识大多是主观的，直观的，因此很难形式化的去清晰地表达。
Much of this knowledge is subjective and intuitive, and therefore difficult to articulate in a formal way.
Grady：对于那些使用更形式化的方法的团队来说其角色也一样。
Grady: The same role as for teams using even higher-ceremony methods.
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略。
The paper addresses an efficiency measurement and an improvement strategy for the Formal Software Evolution Process Model (FSEPM).
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
但是，形式化的标准语言能使业务和IT在理解和解释上达成一致，这一优势是巨大的。
But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
要做到这点，角色的形式化的UML表示是值得使用的，并且在下面进行了描述。
To achieve this, a formal UML representation of the Personas is desirable, and is described below.
业务分析师与应用分析师没有使用同一种语言(uml)形式化的表示他们的系统。
Business analysts and application analysts do not use the same language (UML) to formalize their systems.
RationalRequisitePro提供了用于将这一过程形式化的需求管理工具。
Rational RequisitePro provides the requirements management tooling necessary to formalize this process.
第二章在复合形容词和名词的语义分类基础上，以形式化的方法描述了其搭配规律。
The second chapter, based on the semantic classification of compound adjective and noun, describes the collocation rules between compound adjective and noun.
这些模型之间的主要区别在于目标不同：从非正式的交流到通过解析器进行精确的、形式化的验证。
The major difference between all these models is their goal: from informal communication to precise, formal validation by the parser.
您应该非常熟悉组织的企业体系结构原则和用于管理与执行开发项目的各种形式化的方法。
You should be intimately familiar with the enterprise architecture principles of the organization and with the various formal methodologies for managing and executing development projects.
作为描述与服务交互相关的重要特征的方法，形式化的服务规范在服务治理中起关键作用。
As a way of describing the important characteristics related to a service interaction, the formal service specification plays a key role.
用户界面设计师与系统设计师没有使用同一种语言(uml)形式化的表示他们的系统s。
User Interface designers and system designers do not use the same language (UML) to formalize their systems.
象棋完全可以用一个完全形式化的规则列表去描述，而这个份列表是程序员预先提供好的。
Chess can be completely described by a very brief list of completely formal rules, easily provided ahead of time by the programmer.
象棋完全可以用一个完全形式化的规则列表去描述，而这个份列表是程序员预先提供好的。
Chess can be completely described by a very brief list of completely formal rules, easily provided ahead of time by the programmer.
应用推荐