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

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

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

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

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

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 可行性研究报告书写

第14章软件项目管理 第15章软件过程管理

河南中医药大学：《软件工程》实验指导_实验八 Rational Rose工具的使用