软件工程 pdf epub mobi txt 电子书 下载 2025

第1章 概述
1.1 软件
1.1.1 软件的特性
1.1.2 软件的发展
1.1.3 软件危机
1.2 软件工程
1.2.1 软件工程的概念
1.2.2 软件工程的三要素
1.2.3 软件质量的特性
1.2.4 软件工程方法
1.2.5 计算机辅助软件工程CASE
1.2.6 当前面临的主要挑战
1.3 软件工程知识体系(SWEBOK)
1.3.1 SWEBOK项目介绍
1.3.2 SWEBOK的组成
1.3.3 软件工程与其他相关学科的关系
1.4 软件工程职业道德规范
1.4.1 IEEE/ACM职业道德准则
1.4.2 软件工程人员的职业道德建设
习题
第2章 软件过程
2.1 软件过程的概念
2.1.1 任务思维与过程思维
2.1.2 软件过程的定义
2.1.3 软件过程的基本活动
2.1.4 软件过程的制品
2.2 软件过程模型
2.2.1 瀑布模型
2.2.2 快速原型模型
2.2.3 增量模型
2.2.4 螺旋模型
2.2.5 形式化方法模型
2.2.6 基于组件的开发模型
2.3 案例:微软公司的软件开发过程
2.3.1 微软公司的开发管理原则
2.3.2 微软公司的软件过程模型
2.3.3 递进式的软件开发策略
习题
第3章 软件项目管理
3.1 软件项目管理概述
3.1.1 软件项目的特征
3.1.2 软件项目管理的“4P”
3.1.3 软件项目管理活动
3.2 人员组织与管理
3.2.1 软件项目组织
3.2.2 案例:微软公司的软件开发组织
3.2.3 软件团队的建设
3.3 项目沟通管理
3.3.1 项目沟通复杂性
3.3.2 项目沟通方式
3.3.3 项目沟通活动
3.4 软件项目规划
3.4.1 软件规模估算
3.4.2 软件成本估算
3.4.3 软件项目计划
3.5 软件风险管理
3.5.1 风险识别
3.5.2 风险分析
3.5.3 风险规划
3.5.4 风险监控
3.6 软件配置管理
3.6.1 基本概念
3.6.2 配置管理活动
3.6.3 配置管理工具
习题
第4章 需求工程
4.1 软件需求
4.1.1 业务需求
4.1.2 用户需求
4.1.3 功能需求和非功能需求
4.1.4 系统需求
4.2 需求工程过程
4.2.1 需求获取
4.2.2 需求分析
4.2.3 需求规格说明
4.2.4 需求验证
4.2.5 需求管理
4.3 需求获取技术
4.3.1 面谈
4.3.2 需求专题讨论会
4.3.3 观察用户工作流程
4.3.4 原型化方法
4.3.5 基于用例的方法
4.4 案例：小型图书资料管理系统
4.4.1 确定参与者
4.4.2 确定场景
4.4.3 确定用例
4.4.4 编写用例描述
习题
第5章 软件工程中的形式化方法
5.1 形式化方法基本概念
5.1.1 形式规约(Formal Specification)
5.1.2 形式证明与验证(Formal Verification and Validation)
5.1.3 程序求精(Program Refinement)
5.2 时态逻辑
5.2.1 一阶线性时态逻辑
5.2.2 计算树逻辑
5.3 模型检验
5.4　Z语言
5.4.1 概述
5.4.2　Z语言表示
5.4.3　Z语言实例
5.5 Petri网
5.5.1 基本定义
5.5.2 Petri网规格实例--信号灯
习题
第6章 面向对象基础
6.1 面向对象方法概述
6.1.1 面向对象技术的发展历史
6.1.2 面向对象的软件工程方法
6.2 面向对象基本概念
6.2.1 对象
6.2.2 类
6.2.3 封装
6.2.4 继承
6.2.5 消息
6.2.6 关联
6.2.7 聚合
6.2.8 多态性
6.3 软件建模概念
6.3.1 系统、模型和视图
6.3.2 软件建模的重要性
6.4 统一建模语言UML
6.4.1　UML的发展历史
6.4.2　UML的概念模型
6.4.3　UML建模示例
6.4.4　UML应用
6.5 常用的UML图
6.5.1 用例图
6.5.2 类图
6.5.3 顺序图
6.5.4 状态图
习题
第7章 面向对象分析
第8章 面向对象设计
第9章 软件实现
第10章 软件测试
第11章 软件演化
参考文献
· · · · · · (收起)