第4 章 形式化说明技术前言4.1 概述4.2 有穷状态机4.3 Petri 网4.4 Z 语言4.5 小结 形式化说明技术= 形式化方法，概念等同。软件生命周期包括哪几个阶段？可行性研究需求分析总体设计详细设计编码和单元测试软件维护需求规格说明书总体设计规格说明书详细设计规格说明书系统规格说明书描述“ 系统规格说明书” 的方法，有哪些？综合测试描述“系统规格说明书”的3种方法按照形式化的程度非形式化方法形式化方法半形式化方法例如：自然语言，是典型的非形式化方法例如：数据流图(ch2) 、实体- 联系图(ch3) ，是典型的半形式化方法例如：有穷状态机、 Petri 网、 Z 语言，是典型的形式化方法给出定义非形式化方法形式化方法半形式化方法形式化方法课本定义非数学方法半数学方法数学方法二义性 准确性 给出3 种方法的通俗定义用非数学方法描述系统规格说明书的方法用数学方法描述系统规格说明书的方法用半数学方法描述系统规格说明书的方法形式化方法课本的定义所谓形式化方法，是描述系统性质的基于数学的技术（如：集合论、函数、数理逻辑），也就是说，如果一种方法有坚实的数学基础，那么它就是形式化的。
