5.1 设计过程 5.2 设计原理 5.3 启发规则 5.4 描绘软件结构的图形工具 5.5 面向数据流的设计方法

形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

重庆交通大学：《交通管理与控制》课程教学资源（实验指导）aaSIDRA中文使用说明书（aaSIDRA Traffic Control Software Manual 中文翻译）

西安石油大学：《软件工程 Software Engineering》课程教学资源_实验指导书

西安石油大学：《软件工程 Software Engineering》课程教学资源_软件工程试题

西安石油大学：《软件工程 Software Engineering》课程教学资源_《软件工程学》试题

西安石油大学：《软件工程 Software Engineering》课程教学资源_试题（三）

教学目的：通过本课程的学习，使学生掌握传统的软件工程方法学，并掌握需求分析、系统设计、测试、集成和管理等一系列技术。 要求：按软件工程化的标准规范分析、设计、建模和编程；准备好每一堂课的讲义；围绕案例引导学生掌握知识点；加大实验力度，强化工程化训练。 难点：分析到建模；设计到设计建模； 重点：各种建模方法的理论与具体应用，特别是结构化方法；

第六章 面向对象的设计 第七章 统一建模语言UML 第八章 编码和语言选择 第九章 软件测试 第十章 软件复用 第十一章 软件维护

西安石油大学：《软件工程 Software Engineering》课程教学资源（PPT课件）第二章 可行性研究