图书介绍
软件工程基础 第2版PDF|Epub|txt|kindle电子书版本下载
- （意）Carlo Ghezzi等著；施平安译 著
- 出版社： 北京：清华大学出版社
- ISBN：7302072027
- 出版时间：2003
- 标注页数：444页
- 文件大小：239MB
- 文件页数：459页
- 主题词：软件工程－高等学校－教材
PDF下载
下载说明
软件工程基础 第2版PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 软件工程：预览1
1.1 软件工程在系统设计中的作用2
1.2 软件工程简史2
1.3 软件工程师的作用4
1.4 软件生存期4
1.5 软件工程与计算机科学其他领域的关系6
1.6 软件工程与其他学科的关系9
1.7 结束语10
第2章 软件：性质和质量12
2.1 软件质量分类12
2.2 质量代表13
2.3 不同应用领域的质量需求25
2.4 质量的度量28
2.5 结束语29
第3章 软件工程原则31
3.1 严格和形式化32
3.2 相关分离33
3.3 模块化35
3.4 抽象37
3.5 变更预测38
3.6 概括性39
3.7 增量式40
3.8 两个说明软件工程原则的案例分析41
3.9 结束语49
第4章 设计与软件构架52
4.1 软件设计活动及其目标54
4.2 模块化技术61
4.3 异常处理93
4.4 设计案例分析95
4.5 并发软件98
4.6 面向对象设计110
4.7 构架和组件115
4.8 结束语121
第5章 规范127
5.1 规范的使用128
5.2 规范的质量129
5.3 规范风格分类131
5.4 规范的验证134
5.5 操作型规范134
5.6 描述型规范167
5.7 规范构建和使用实践190
5.8 结束语209
第6章 验证218
6.1 验证的目标和需求219
6.2 验证方法221
6.3 测试222
6.4 分析255
6.5 符号执行273
6.6 模型检验281
6.7 验证技术小结283
6.8 调试284
6.9 其他软件特性的验证288
6.10 结束语300
第7章 软件生产过程312
7.1 什么是软件过程模型313
7.2 为什么软件过程模型是重要的314
7.3 软件生产的主要活动316
7.4 软件过程模型概述325
7.5 处理遗留软件337
7.6 案例分析338
7.7 过程组织347
7.8 制品的组织：配置管理358
7.9 软件标准361
7.10 结束语362
第8章 软件工程管理367
8.1 管理职能368
8.2 项目计划369
8.3 项目控制381
8.4 组织387
8.5 风险管理392
8.6 能力成熟度模型394
8.7 结束语396
第9章 软件工程工具和环境400
9.1 工具和环境的历史演进400
9.2 软件工具的比较因素401
9.3 代表性工具404
9.4 工具集成417
9.5 影响工具演进的力量418
9.6 结束语419
第10章 后记422
10.1 软件工程的将来422
10.2 职业道德和社会责任424
10.3 软件工程的职业道德准则424
10.4 结束语425
附录 案例分析427
案例分析A：律师事务所办公自动化427
案例分析B：开发一个编译器族430
案例分析C：增量或交付436
案例分析D：形式化方法在工业中的应用437
结束语444