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

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

第一章 概述 第二章 可行性研究 第三章 需求分析 第四章 概要设计 第五章 详细设计 第六章 实现 第七章 软件测试 第八章 软件维护 第九章 测试 第十章 面向对象技术 第十一章 软件质量保证 第十二章 软件工程管理

西安石油大学：《软件工程 Software Engineering》课程教学资源_模拟试题及参考答案（共五套）

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

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

软件工程的基本概念 软件开发模型 软件开发各阶段的任务、技术、方法 传统方法、面向对象方法 软件工程管理 软件质量保证 软件工程环境 第一章 绪论 第二章 软件开发模型 第三章 软件需求分析 第四章 软件设计概述 第五章 传统的设计方法

软件的概念 软件危机 软件工程的概念 软件生存周期和软件开发模型

§1. 需求分析的任务 §2. 需求分析的步骤 §3. 基于数据流的分析方法 4 数据字典 5 基于数据流的分析方法

§1. 详细设计的任务 §2. 设计工具 §3. 面向数据结构的设计方法 §4. Warnier方法