软 件 工 程课程教学大纲总结归纳.pptVIP

* * 软 件 工 程 课 程 教学大纲 课程适用范围 本课程适用于计算（机）学科所有子学科（计算机科学、计算机工程、软件工程、信息系统和信息技木）的大学研究生、本科和专科学生的教学。本课程也适用于从事软件产业和职业的技术和管理人员的教学。 本章内容安排 课程性质 课程目的 课程要求 相关课程 课程的主要内容 课程实践 其它问题 课程性质 《软件工程》是计算（机）各专业的核心（必修）课，具有很高的科学性、工程性、综合性和实践性 课程目的 - 介绍如何运用工程学的原理和方法来组织和管理软件的开发、运行和维护 - 保证软件产品开发、运行和维护的高质量和高生产率 课程要求 系统地了解软件工程目前发展的水平和 现状 初步掌握软件工程的有关原理和方法 为今后深入学习和工作打下一个良好的 基础 相关课程 前修课程 高等数学、线性代数、概率与统计 离散数学、算法与数据结构 计算机硬件基础 操作系统、程序设计语言、数据库 后修课程 毕业论文/设计 课程主要内容：5篇10章 5篇： 1 软件、软件工程和软件工程模式 2 软件开发方法 3 质量与质量保证 4 计划与管理 5 工具与环境 第1篇 软件、软件工程与软件工程模式 第1章 软件和软件工程 软件的含义 软件的特点 软件的种类 软件危机 软件工程的定义 软件工程的发展和问题 第2章 软件工程模式 软件工程模式 瀑布模型 原型开发模型 螺旋模型 四代技术 混合模型 面向对象生存期模型 统一软件开发模型 基于构件的软件开发 Web服务 软件开发过程的小结 第2篇 软件开发方法（重点） 第3章 结构化(传统)开发方法 需求与需求分析 结构化分析 软件设计 面向数据流的设计 面向数据结构的设计 PAD图的设计 原型开发 第4章 面向对象开发方法（重点） 面向对象方法的发展 面向对象方法的基本概念 面向对象的分析与设计 Booch的面向对象方法 OMT对象建模技术 统一建模语言UML Rational统一过程RUP 实例：课程登记系统 第5章 形式化开发方法(1) 自学 形式化方法的定义、特点、分类和问题 Petri网 示例-四季系统Σ Petri网的定义 Petri网的基本原理-静态结构 Petri网的基本原理-动态特征 建模实例 特性分析 Petri网的特性分析方法 改进Petri网及其应用 时间网和随机网 从Petri网到程序结构的转换 实例:应用Petri网实现资源共享 第5章 形式化开发方法(2) 自学 时态逻辑 时态逻辑 线性逻辑 计算树逻辑 模型验证 第5章 形式化开发方法(3) 自学 Z （一） 概述 （二） 表示抽象 （1） 集合、关系及函数 （2） 序列和包 （3） 自由类型 （4） 公理描述 （5） 模式 （三） 操作抽象 （1）模式运算及合成 （2）通用式函数 （四） Z规格实例 （1）图书馆数据库管理 （2）自动售货机 第3篇 质量与质量保证 第6章 软件质量与质量保证 软件质量的意义和定义 软件质量因素 软件质量保证的策略和活动 技术方法的选用 正式技术评审的实施 标准的执行 文档及其修改（变更）的控制 度量与量度 SQA小组的活动 案例介绍 *