许多人相信太阳绕地球旋转，即古希腊学者Ptolemy于公元150年建立的地心说。
形式化模式注释的关键在于为所用的术语找到好的词汇表资源和一组清晰的标识符。
定义一个术语的同时，也就是在规范化地描述相关者如何传达一个概念。
研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。
白皮书在最后还谈到了服务契约规范化以及服务可视化，这通常是通过服务注册实现的。
每个计划团队都有一个业务主管，负责收集和确定业务需求。
在第24项宪法修正案的通过典礼上，林登.詹森（LydonJohnson）总统指出：「绝对不能有人因为太穷而无法投票。」
把我反对罩袍的立场正式化，并不是轻蔑许多伊斯兰妇女选择保守的服装。
当前，WS-Policy是正在使用的标准化声明和编程方式来表达策略的需要。
这是正式验收已经完成项目的可交付成果所需进行的过程。
首先，只有约一半的中国农民获得了正式确定其30年土地使用权利的基本法律文件。
这能说服你们，我开始揭露形式化它的结构了，如果按不能说服你，没有什么能了。
关于线状地理特征空间关系的自然语言描述的形式化表达
1·The key to formalizing schema annotations is to find a good vocabulary resource with a clear set of identifiers for the terms you use.
形式化模式注释的关键在于为所用的术语找到好的词汇表资源和一组清晰的标识符。
2·As soon as these initial services are in production, you can begin formalizing other technical requirements for your SOA. These include the following.
一旦这些初始的服务存在于产品环境中，您就可以对您的SOA的其它技术需求进行形式化了。
3·The Process Isomorphism pattern, defined by Jason, is an important instrument for formalizing alignment between services and processes which could improve both.
由Jason Bloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具，同时也是改善两者的重要工具。
4·The studying results realize formalizing description of the problem, and give a valid solving algorithm for it.
研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。
5·Domain analysis is adopted to find and record the commonness and the difference in a given domain. It is the key of systematizing, formalizing and effectuating reuse.
领域分析是发现和记录某个领域的共性和差异的过程，是系统化、形式化、有效重用的关键。