MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
CBOT通过发展标准化期货合约规范谷物交易。
本文提出了一种将轮流拍卖应用于公共资源配置的机制。
正式化QSAPQP的全部意图以贯穿整个计划过程考虑顾客要求。
这种政策能为个人的决定提供一个框架结构，并能反映出企业对风险的看法。
收尾过程组。正式验收产品、服务或成果，并有条不紊地结束项目或项目阶段。
建模形成了自然也就有助于他们交流的一致性。
hrtimerAPI正式确认（formalize）了绝对时间和相对时间之间的区别，要求调用者指定类型。
HTML5还规范化了用于构造内容的其他专门技术。