There is a significant difference in the degree of detail, formalization, and, of course, structure.
这两者在详细程度、规范化程度和结构方面有显著差异。
A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication.
事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心。
It is simply a reorientation and formalization of many of the things good software architects have been doing all along.
它不过是重定位和规范化大多数优秀软件架构师已经一直在做的事情。
Strictly speaking, REST is a formalization of the basic rules of the HTTP protocol which can be applied to web services.
严格来说，REST是可应用到Web服务的HTTP协议的基本规则的规范化技术。
The article then discussed techniques for the capture of rule-based requirements and degrees of formalization of these requirements.
然后讨论了捕捉基于规则的需求的技巧，以及这些需求的规范化程度。
TIS(Temporal Information System)is the formalization of time series.
时态信息系统（TIS）是时间序列的形式化表示。
Too much formalization has always been influencing the teaching of mathematics.
数学的过于形式化一直影响着今天的数学教育。
The formalization of numerals in Russian has to be flexibly dealt with in translation.
俄语中数词“虚用”现象的翻译应采取灵活的方法。
The requirements of formalization for automated software testing can be met by the method.
这样的形式描述方法满足软件测试自动化对形式描述的要求。
The chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自动检测的主要任务是解决形式化问题。
Study of formalization for object storage system will help us to study object management in detail.
对象存储系统的形式化研究将有助于我们对对象管理做进一步研究。
The formalization of negotiation protocols is crucial to realize the automation of electronic commerce.
谈判协议的形式化是实现电子商务谈判自动化的关键。
The live pig formalization cultivation level was still low, the degree of improved variety is not high;
生猪规模化养殖水平仍较低，良种化程度不高；
The formalism is independent of the concrete formalization of a protocol or attackers' possible behaviors.
其次，分析方法与密码协议和攻击者能力的具体形式化描述无关；
An automatic programming system always includes two programming activities: formalization and implementation.
自动程序设计系统包括两种程序设计活动：形式化与实现。
Test specification is generalized with the test template framework (TTF) based on formalization specification.
采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。
The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
In frame of BGC model, the formalization of role, and an approach of role-based mission assignment are pictured.
在BGC模型框架下，文章对角色进行形式化描述，并分析了基于角色的任务分派。
It is necessary to make research on the menu creation for its automatization, standardization and formalization.
为此，有必要对菜单的生成进行研究，使其生成自动化、标准化、规范化。
This paper presents the formalization of dynamic summarization according to temporal evolution of Web information.
该文从网络信息的时间演化性出发，给出了动态文摘的形式化定义。
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
The formalization of dialectic logic is the premise of its being true logic, which needs the observation of game rules.
辩证逻辑要真正成为逻辑，必须形式化，而形式化必须遵守形式化的“游戏规则”。
The degree to which an organization relies on rules and procedures to direct the behavior of employees is formalization.
组织在多大程序上依靠规则和程序来指导员工的行为就是组织的正规化程度。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
Mohist logic has the character of non-formalization, while Aristotlian logic is mainly charactered by its formalization.
非形式化是墨家逻辑的主要特点，而亚里士多德逻辑的主要特点是形式化。
The characteristics of mathematics concepts of high school are abstractness, formalization, systematization, conciseness.
高中数学概念具有抽象化、形式化、系统化、简明化的特点。
That method possesses the features of formalization and is especially suitable for the automatic realization on computers.
该方法具有格式化的特点，特别适合于在计算机上自动地实现。
The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.
前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。
However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
应用推荐