第七

形式化方法：
将事物规律或者联系用基于数学概念的符号表示出来
例如：用数学符号表示命题p与命题q之间的关系——p→q、p∧q等等

形式化方法是对程序“做什么”的描述，包括程序的功能描述以及模块之间的关系。
面向模型的形式化方法：通过建立数学模型来描述系统（UML图）
面向属性的形式化方法：通过定义一些系统必需的属性来描述系统（设计文档）