河南中医药大学：《软件工程 Software Engineering》教学设计_第2章：可行性研究（二）

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

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

12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例

• 8.1 软件维护的定义 • 8.2 软件维护的特点 • 8.3 软件维护过程 • 8.4 软件的可维护性 • 8.5 预防性维护 • 8.6 软件再工程过程

中国科学院大学：土木工程课程设置及课程大纲汇总

西安电子科技大学出版社：面向21世纪高等学校信息工程类专业系列教材《数字信号处理 Digital Signal Processing》课程教学资源（PPT课件）封面及目录

10.1 面向对象分析的基本过程 10.2 需求陈述 10.3 建立对象模型 10.4 建立动态模型 10.5 建立功能模型 10.6 定义服务 10.7 小结

7.1 编码 7.2 软件测试基础 7.3 单元测试 7.4 集成测试 7.5 确认测试 7.6 白盒测试技术 7.7 黑盒测试技术 7.8 调试 7.9 软件可靠性

2.1 可行性研究的任务 2.2 可行性研究过程 2.3 系统流程图 2.4 数据流图 2.5 数据字典 2.6 成本/效益分析 2.7 可行性研究报告书写