formalizes

MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.

MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。

CBOT formalizes grain trading by developing standardized agreements called "futures contracts. "

CBOT通过发展标准化期货合约规范谷物交易。

This paper formalizes a rotating bidding mechanism for allocating the common pool resource (CPR) with the presence of private information.

本文提出了一种将轮流拍卖应用于公共资源配置的机制。

Formalizes the overall intent of QS APQP to consider customer requirements throughout the planning process.

正式化QSAPQP的全部意图以贯穿整个计划过程考虑顾客要求。

The policy provides and formalizes a framework for making individual decisions and reflects the organization's perspective on risk.

这种政策能为个人的决定提供一个框架结构，并能反映出企业对风险的看法。

Closing Process Group. Formalizes acceptance of the product, service or result and brings the project or a project phase to an orderly end.

收尾过程组。正式验收产品、服务或成果，并有条不紊地结束项目或项目阶段。

Modeling formalizes and hence facilitates the consistency of their communication.

建模形成了自然也就有助于他们交流的一致性。

The API formalizes the distinction between absolute and relative times, requiring the caller to specify the type.

hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。

HTML 5 also formalizes the otherwise ad hoc techniques used to structure content.

HTML5还规范化了用于构造内容的其他专门技术。

formalizes the new concepts of structure individual and parameter individual, etc.

形式化描述了结构体和参数体等新概念；

Finally, it formalizes the execution semantics of BPMN elements, which helps to interpret BPMN process models unambiguously.

最后，它规范化了BPMN元素的执行语义，这有助于清楚地解释BPMN流程模型。

The workflow specification language is given, it formalizes the workflow model.

最后给出一个工作流规范说明语言，它形式化了我们提出的工作流模型。

Defines and formalizes the suitable sales methods and indicators.

定义并规范合适的销售模式及指标；

the ethical nature of human formalizes in personality right

人的伦理属性在人格权中获得了规范性。

The business value of running scalability and performance tests comes once a business formalizes a test method that includes the following

一旦企业形成一套包含以下几个方面的测试方法，连续的可伸缩性和性能测试就会产生企业价值。