软件工程课程教学大纲课件

1、软 件 工 程第二版教材配套光盘杨文龙 古天龙 谭火彬电子工业出版社2006-11课 程 教学大纲2 本课程适用于计算（机）学科所有子学科（计算机科学、计算机工程、软件工程、信息系统和信息技木）的大学研究生、本科和专科学生的教学。本课程也适用于从事软件产业和职业的技术和管理人员的教学。3软件工程讲义-课程性质软件工程是计算（机）各专业的核心（必修）课，具有很高的科学性、工程性、综合性和实践性5软件工程讲义-课程目的- 介绍如何运用工程学的原理和方法来组织和管理软件的开发、运行和维护- 保证软件产品开发、运行和维护的高质量和高生产率6软件工程讲义-课程要求系统地了解软件工程目前发展的水平和 现状

2、初步掌握软件工程的有关原理和方法为今后深入学习和工作打下一个良好的 基础7软件工程讲义-相关课程前修课程高等数学、线性代数、概率与统计离散数学、算法与数据结构计算机硬件基础操作系统、程序设计语言、数据库后修课程毕业论文/设计8软件工程讲义-10章：1 软件和软件工程2 软件工程模式3 结构化开发方法4 面向对象开发方法5 形式化开发方法(1)5 形式化开发方法(2)5 形式化开发方法(3)6 软件质量与质量保证7 软件测试8 软件维护9 软件开发计划与管理10 软件开发工具与环境10软件工程讲义-第2章 软件工程模式瀑布模型原型开发模型螺旋模型四代技术混合模型面向对象生存期模型统一软件开发模型

3、基于构件的软件开发Web服务软件开发过程的小结软件工程模式12软件工程讲义-第4章 面向对象开发方法面向对象方法的发展面向对象方法的基本概念面向对象的分析与设计Booch的面向对象方法OMT对象建模技术统一建模语言UMLRational统一过程RUP实例：课程登记系统14软件工程讲义-第5章 形式化开发方法(1)形式化方法的定义、特点、分类和问题Petri网示例-四季系统Petri网的定义Petri网的基本原理-静态结构Petri网的基本原理-动态特征建模实例特性分析Petri网的特性分析方法改进Petri网及其应用时间网和随机网从Petri网到程序结构的转换实例:应用Petri网实现资源共享

4、15软件工程讲义-第5章 形式化开发方法(2)时态逻辑时态逻辑线性逻辑计算树逻辑模型验证16软件工程讲义-第5章 形式化开发方法(3)Z （一） 概述 （二） 表示抽象 （1） 集合、关系及函数 （2） 序列和包 （3） 自由类型 （4） 公理描述 （5） 模式 （三） 操作抽象 （1）模式运算及合成 （2）通用式函数 （四） Z规格实例 （1）图书馆数据库管理 （2）自动售货机 17软件工程讲义-第3篇 质量与质量保证软件质量的意义和定义软件质量因素软件质量保证的策略和活动技术方法的选用正式技术评审的实施标准的执行文档及其修改（变更）的控制度量与量度SQA小组的活动案例介绍第6章 软件质量与

5、质量保证18软件工程讲义-第8章 软件维护软件维护的分类软件维护的特点软件的可维护性软件的维护任务软件维护的副作用20软件工程讲义-第4篇 计划与管理第9章 软件开发计划与管理软件的目的和范围资源成本估算风险分析与管理进度安排与跟踪软件项目组项目计划21软件工程讲义-课程实践课程实践的重要性所有课程都应包含课堂（Theory）、实验（Abstraction）和工程（Design）教学的三个过程，对本课程尤为重要。所以除上述的课堂理论教学以外，还必须按排实践教学课程实践的要求应有三方面的内容编程语言应用和掌握软件开发基本原理和方法的应用和掌握团队工作、沟通技巧和职业道德方面的训练课程实践的做法可根据不同的内容和要求，安排几门专门的实践课程来完成23软件工程讲义-其它问题学时数根据具体情况安排教材的使用根据IEEE-CS/ACM CC2001、IEEE（2001）和CMU/SEI（1999）SWEBOK及长期的教学和科研工程成果，在软件工程(第一版（1997）)的基础上修编而成完全符合ACM/AIS/IEEE-CS CC2004和IEEE-CS/ACM CCSE2004的SEEK要求使用时可按各校学生所学专