软件工程课程教学大纲

软件工程

第二版

教材配套光盘

杨文龙古天龙谭火彬

电子工业出版社2006-11课程教学大纲2本课程适用于计算（机）学科所有子学科（计算机科学、计算机工程、软件工程、信息系统和信息技木）的大学研究生、本科和专科学生的教学。本课程也适用于从事软件产业和职业的技术和管理人员的教学。3软件工程讲义-本章内容安排课程性质课程目的课程要求相关课程课程的主要内容课程实践其它问题制作本光盘的说明4软件工程讲义-课程性质《软件工程》是计算（机）各专业的核心（必修）课，具有很高的科学性、工程性、综合性和实践性5软件工程讲义-课程目的-介绍如何运用工程学的原理和方法来组织和管理软件的开发、运行和维护-保证软件产品开发、运行和维护的高质量和高生产率6软件工程讲义-课程要求系统地了解软件工程目前发展的水平和现状初步掌握软件工程的有关原理和方法为今后深入学习和工作打下一个良好的基础7软件工程讲义-相关课程前修课程高等数学、线性代数、概率与统计离散数学、算法与数据结构计算机硬件基础操作系统、程序设计语言、数据库后修课程毕业论文/设计8软件工程讲义-课程主要内容：5篇10章5篇：1软件、软件工程和软件工程模式2软件开发方法3质量与质量保证4计划与管理5工具与环境9软件工程讲义-10章：1软件和软件工程2软件工程模式3结构化开发方法4面向对象开发方法5形式化开发方法(1)5形式化开发方法(2)5形式化开发方法(3)6软件质量与质量保证7软件测试8软件维护9软件开发计划与管理10软件开发工具与环境10软件工程讲义-

第1篇软件、软件工程与软件工程模式第1章软件和软件工程软件的含义软件的特点软件的种类软件危机软件工程的定义软件工程的发展和问题11软件工程讲义-

第2章软件工程模式

瀑布模型原型开发模型螺旋模型四代技术混合模型面向对象生存期模型统一软件开发模型基于构件的软件开发Web服务软件开发过程的小结软件工程模式12软件工程讲义-第2篇软件开发方法第3章结构化(传统)开发方法需求与需求分析结构化分析软件设计面向数据流的设计面向数据结构的设计PAD图的设计原型开发13软件工程讲义-第4章面向对象开发方法

面向对象方法的发展面向对象方法的基本概念面向对象的分析与设计Booch的面向对象方法OMT对象建模技术统一建模语言UMLRational统一过程RUP实例：课程登记系统14软件工程讲义-

第5章形式化开发方法(1)

形式化方法的定义、特点、分类和问题Petri网示例-四季系统ΣPetri网的定义Petri网的基本原理-静态结构Petri网的基本原理-动态特征建模实例特性分析Petri网的特性分析方法改进Petri网及其应用时间网和随机网从Petri网到程序结构的转换实例:应用Petri网实现资源共享15软件工程讲义-

第5章形式化开发方法(2)

时态逻辑时态逻辑线性逻辑计算树逻辑模型验证16软件工程讲义-

第5章形式化开发方法(3)

Z（一）概述（二）表示抽象 （1）集合、关系及函数 （2）序列和包（3）自由类型（4）公理描述（5）模式（三）操作抽象（1）模式运算及合成