3教学重点和难点 教学重点是形式化方法的概念、优点和应用准则;有穷状态机。教学难点是有穷状态 4.教学内容 (1)概述 主要知识点:非形式化方法的缺点:形式化方法的优点;应用形式化方法的准则 (2)有穷状态机 主要知识点:概念、保险箱、电梯例子、评价 (3) Petri网 主要知识点:概念、电梯例子 第五章总体设计 1.教学基本要求 掌握软件结构设计中结构化设计方法和面向数据流的设计方法,使学生明确结构设计的 目标和任务,理解结构化设计的概念和原理,掌握结构化设计的步骤以及相关方法。 2.要求学生掌握的基本概念、理论、技能 通过本章教学使学生了解总体设计的过程;深刻理解软件总体设计的基本任务,软件设 计的基本原理。理解模块化,抽象,信息隐蔽,模块独立性等概念,明确度量模块独立性的 校准一耦合性及内聚性。熟练掌握结构化设计方法(要求能划分数据流的类型,将其能换成 软件结构图,并能根据优化准则将其优化。) 3教学重点和难点 教学重点是软件设计过程中应遵循的基本原理;面向数据流的设计方法。教学难点是 变换分析、事务分析法的过程和应用 4.教学内容 (1)设计过程 主要知识点:设计过程 (2)设计原理 主要知识点:模块化、抽象、逐步求精、信息隐藏和局部化、模块独立 (3)启发规则 主要知识点:改进软件结构提高模块独立性;模块规模应该适中;深度、宽度、扇出和 扇入都应适当;模块的作用域应该在控制域之内:力争降低模块接口的复杂程度;设计单入 口单出口的模块;模块功能应该可以预测。 (4)描绘软件结构的图形工具 主要知识点:层次图和HPO图;结构图3.教学重点和难点 教学重点是形式化方法的概念、优点和应用准则；有穷状态机。教学难点是有穷状态 机。 4.教学内容 （1）概述 主要知识点：非形式化方法的缺点；形式化方法的优点；应用形式化方法的准则 （2）有穷状态机 主要知识点：概念、保险箱、电梯例子、评价 （3）Petri 网 主要知识点：概念、电梯例子 第五章 总体设计 1.教学基本要求 掌握软件结构设计中结构化设计方法和面向数据流的设计方法，使学生明确结构设计的 目标和任务，理解结构化设计的概念和原理，掌握结构化设计的步骤以及相关方法。 2.要求学生掌握的基本概念、理论、技能 通过本章教学使学生了解总体设计的过程；深刻理解软件总体设计的基本任务，软件设 计的基本原理。理解模块化，抽象，信息隐蔽，模块独立性等概念，明确度量模块独立性的 校准—耦合性及内聚性。熟练掌握结构化设计方法（要求能划分数据流的类型，将其能换成 软件结构图，并能根据优化准则将其优化。） 3.教学重点和难点 教学重点是软件设计过程中应遵循的基本原理；面向数据流的设计方法。教学难点是 变换分析、事务分析法的过程和应用。 4.教学内容 （1）设计过程 主要知识点：设计过程 （2）设计原理 主要知识点：模块化、抽象、逐步求精、信息隐藏和局部化、模块独立。 （3）启发规则 主要知识点：改进软件结构提高模块独立性；模块规模应该适中；深度、宽度、扇出和 扇入都应适当；模块的作用域应该在控制域之内；力争降低模块接口的复杂程度；设计单入 口单出口的模块；模块功能应该可以预测。 （4）描绘软件结构的图形工具 主要知识点：层次图和 HIPO 图；结构图