一、数据流程图的概念 ◆数据流程图中的符号：*#数据流程图的概念与案例：数据流程图绘制的有关规定。 第四节数据字典 数据元素的定义 二、数据流的定义 三、数据存贮的定义 四、处理定义 五、对实现计算机数据字典的要求 第五节判定表与判定树 一、判定表 #判定表的构造：*判定表的变种：判定表的优缺点。 二、判定树 判定树的构造与优缺点。 第六节有限状态机 一、有限状态机的概念 幸有限状态机的概念：有限状态机的表示 二、有限状态机应用案例 第七节Petri网 一、Petri网的概念 二、Petri网的应用 第八节形式化规范技术 一、序列及有关的数学符号 二、形式方法中的一些概念 第九节用户需求规范的评审 包括宏观级评审和细节级评审。 第五章总体设计 (6学时) 1、教学基本要求 (1)了解总体设计特征量的概念和方法，系统结构设计的方法： (2)理解软件结构的设计方法及程序结构的优化设计： (3)掌握模块化原理、内聚和耦合及总体设计的图形工具等。 2、教学基本内容 第一节总体设计的概念与原则 5 一、数据流程图的概念 *数据流程图中的符号；*#数据流程图的概念与案例；数据流程图绘制的有关规定。 第四节 数据字典 一、数据元素的定义 二、数据流的定义 三、数据存贮的定义 四、处理定义 五、对实现计算机数据字典的要求 第五节 判定表与判定树 一、判定表 *#判定表的构造；*判定表的变种；*判定表的优缺点。 二、判定树 *判定树的构造与优缺点。 第六节 有限状态机 一、有限状态机的概念 *有限状态机的概念；有限状态机的表示。 二、有限状态机应用案例 第七节 Petri 网 一、Petri 网的概念 二、Petri 网的应用 第八节 形式化规范技术 一、序列及有关的数学符号 二、形式方法中的一些概念 第九节 用户需求规范的评审 包括宏观级评审和细节级评审。 第五章 总体设计 （6 学时） 1、教学基本要求 （1）了解总体设计特征量的概念和方法，系统结构设计的方法； （2）理解软件结构的设计方法及程序结构的优化设计； （3）掌握模块化原理、内聚和耦合及总体设计的图形工具等。 2、教学基本内容 第一节 总体设计的概念与原则