Formalizing Multiple Instance Workflow Patterns Based on the π-calculus

多实例工作流模式的π演算形式化

Formalizing Workflow Patterns Based on the π-calculus

工作流模式的π演算形式化

Formalizing the Procedure of Model-based Diagnosis on General Causal Theory

广义因果理论上基于模型诊断过程的形式化

Evaluating these solutions and making a selection;implementing the selected solution;measuring, verifying, analyzing and evaluating results of the implementation to determine that the objectives have been met;formalizing changes.

评价这些解决办法并作出选择;实施选定的解决办法;测量、验证、分析和评价实施的结果,以确定这些目标已经实现;正式采纳更改。

Information technology-Open Systems Interconnection-Structure of management information: Guidelines for the definition of managed objects; Amendment 3: Guidelines for the use of Z in formalizing the behaviour of managed objects

信息技术 开放系统互连 管理信息结构:第4部分:被管客体定义指南 修改3:使被管客体行当形式化时使用 Z 的指

Information technology-Open Systems Interconnection-Structure of management information: Guidelines for the definition of managed objects; Amendment 3: Guidelines for the use of Z in formalizing the behaviour of managed objects

信息技术.开放系统互连.管理信息结构:被管客体定义指南.修改3:确定被管客体性能时使用Z的指南

An Approach to Formalizing specification-based Class Testing

一个形式化基于规格说明类测试的方法

Through the definition of a term, you are formalizing how stake holders communicate about a concept.

定义一个术语的同时，也就是在规范化地描述相关者如何传达一个概念。

Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.

每个计划团队都有一个业务主管，负责收集和确定业务需求。

The key to formalizing schema annotations is to find a good vocabulary resource with a clear set of identifiers for the terms you use.

形式化模式注释的关键在于为所用的术语找到好的词汇表资源和一组清晰的标识符。

Many believed the sun revolved around the Earth, with ancient Greek scholar Ptolemy formalizing this "geocentric" model in 150.

许多人相信太阳绕地球旋转，即古希腊学者Ptolemy于公元150年建立的地心说。