然后讨论了捕捉基于规则的需求的技巧，以及这些需求的规范化程度。
严格来说，REST是可应用到Web服务的HTTP协议的基本规则的规范化技术。
数学的公式化由书写过的内容组成，但是只有当我运用我使用的语言来呈现它，它才会生存。
可以使用MicrosoftOperationsFramework（MOF）帮助您对组织的正式化进行建模。
如你们已经体会到，我们岌岌可危的是，如何得到一个数学的公式化。
前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。
系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。
现代逻辑通过“纯形式化”和“一致性、完备性”的推演规则，实现了“逻辑真”。
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
这两者在详细程度、规范化程度和结构方面有显著差异。
解读之，设计是有目的的，要解决人们的问题，并且，你要有想象，有形式，有创造！
它的性质，任何形式的若干理论，它的元语言是嵌入它。
本文阐述了形式化软件工程的基本概念，并采用规格说明语言实现了一个应用软件的形式化描述。
它不过是重定位和规范化大多数优秀软件架构师已经一直在做的事情。
这个过程包括关于组织的复杂性，正规化及集权化程序的决定。
由于本体的形式化研究仍处于初级阶段，尚缺乏对本体的严格的评价技术。
UML模型一致性自动检测的主要任务是解决形式化问题。
时下，加快推进马克思主义民族形式化的过程具有重大而深远的意义。
论文采用了巴科斯范式来表示逻辑表达式，为其提供了一个很好的形式化的表达方式。
根据这些形式化描述信息，计算机可以自动抽取出适用于软件可靠性测试的测试数据。
最新的改革在很多方面都表明了现存非正规做法在走向正规化。
采用基于形式规范的测试模板框架（TTF）可使测试规范通用化。
在实际逻辑教学中，普通逻辑课程过分强调形式化，难以引起学生的兴趣。
形式化，包括权力集中，并在书面沟通和去强调通过渠道；
事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心
1·A crucial aspect of the USBD methodology is then the description and formalization of how the identified business processes support the business goals.
USBD方法至关重要的方面是所确定的业务过程如何支持业务目标的描述和形式化。
2·An organic organization has the structural characteristics mentioned above and others like wide span of control, cross-functional teams, free flow of information and low formalization.
一个有机组织的结构特征，上述提及到的以及其他类似的大跨度的控制，跨功能团队，自由流通的资讯和低形式化。
3·First, the content, the request even the style of representation of function education in our curriculum standards and the textbook as a whole is stable and heavy formalization.
首先，函数教育的内容、要求甚至表述风格在我国大纲及教材中总体上是稳定的，并且是重形式化的。
4·An automatic programming system always includes two programming activities: formalization and implementation.
自动程序设计系统包括两种程序设计活动：形式化与实现。
5·There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
1·A formalization of the de-facto standard XMLHttpRequest object, the centerpiece of Ajax communication.
事实标准XMLHttpRequest对象的正式化，它是Ajax通信的核心。
2·Based on the individual characteristics, the formalization mechanism can be abstracted as three processes, namely structurization, regularization and role-making.
正式化机制以个体特征为基础，可抽象为结构化、规范化和角色化三种过程。
3·Severty-three percent of companies have achieved either modest formalization(54 percent) or have formalized their change management process "to a great extent"(19 percent).
对于它们的管理流程改变，百分之七十三的公司取得了初步的正式化（54%）或大部分的正式化（19%）。