第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
可拓学是用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的新学科。
基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果，提出了一种网络故障管理的形式化方法。
非形式化平衡设计图上的各元素，用不对称的方式做成平衡的效果。亦称不对称平衡，动态平衡。
并给出了线性表的严密的描述性定义和形式化定义。
首先定义选择函数并给出理性选择函数的形式化描述。
它使归纳逻辑向形式化和数量化的研究方面前进了一大步。
所谓形式化，是指虽然了解农户的发展需要，但在流域规划的内容中并没有体现出农户共同的发展愿望。
在许多情况下，两者都产生外部元数据：从单调的英语到结构化或非结构化数据，到更形式化RDF表达方法，但所有数据都参考使用了URI。
逻辑演算对推理形式有效性的研究，比传统逻辑更抽象、更严格，其原因是形式化方法的运用。
本文在介绍模态逻辑的基础上，提出了一种对知识和信念进行形式化研究的汉语信息过滤新算法。
苏联解体的一个重要原因就是理论创新的缺失与异化，主要表现在凝固化、教条化、形式化、单调化、主观化、片面化、行政化。
文中所提出的控制归约与或图，实际上为设计专家控制器示范了一种形式化的方法。
给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。
论文第四部分总结了马克思主义在中国的民族形式化的历史发展。
这些观察允许我们形式化反射的定义：反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为1的仿射子空间。
给出了数据分布树的形式化定义，构造了基于数据分布树的数据均衡分布机制、抗数据偏斜的JOIN算法。
本文利用树突树的冲激响应对分布参数突触联接进行了形式化描述。
标举自然与清丽，强调性情本体的恰当形式化，是刘勰诗学观的重要美学命题。
针对映射整体定义了一种域映射规则，给出了域映射过程的数学语言形式化描述。
并通过将更新操作算子定义为原子事件,将每次地籍图形变更的更新处理操作过程定义为一个复合事件,尝试用EPL语言对地籍图形变更的更新操作过程进行了形式化描述.
引入进化超图网络对全生命周期中产品过程信息进行形式化表达。
论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法，寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。
但是，在现今的语文课堂中，互动教学出现了形式化、客观化、垄断化的互动等等。
他在离我近在咫尺的地方，一切一切却像走廊里的灯光，白色、平板而形式化。从来没有什么爱情故事在这样的光泽下发生的吧，他们理当只能属于夕阳、霓虹、星光，或者烛火吧，一点儿呼吸的变动也将带动气流影响它的闪动，[形式化造句 ]飘忽的灯焰象征女主角那个瞬间的动了心。
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
盘算机科学家用完全形式化的方式来证明程序同功能归约的一致性，保证程序的准确性。
空间方向关系是描述空间目标间位置分布的一类基本空间约束，在GIS中是由形式化模型描述的。
进一步的工作是在公共语义模型的基础上，用形式化的方法和统一的数据格式表达零件库信息，建立零件库信息模型，以实现零件库资源共享。
但适当的合同参数下，使用这种形式化策略，通过供需双方博弈供需链能够达到稳定状态。