图书介绍
计算机软件工程学pdf电子书版本下载
- 何克清编著 著
- 出版社： 武汉：武汉大学出版社
- ISBN：13279·2
- 出版时间：1983
- 标注页数：305页
- 文件大小：8MB
- 文件页数：313页
- 主题词：
PDF下载
下载说明
计算机软件工程学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录 1
第一章 概论 1
§1.1 软件工程学的形成及其发展过程 1
§1.2 基本概念 5
§1.3 软件产品的设计、生产过程 8
§1.4 要求定义、分析工程 10
§1.5 设计工程 45
§1.6 维护工程 61
第二章 基于正交模块分割法的软件设计系统 64
§2.1 引言 64
§2.2 设计方法论 67
§2.3 设计语言 74
§2.4 设计语言处理 83
§2.5 FORTRAN、COBOL中的数据流机构 87
§2.6 小结 89
参考文献 89
第三章 软件设计表现P A D法基础 92
§3.1 引言 92
§3.2 用P A D法描述程序开发的原理 94
§3.2.1 PAD记法 95
§3.2.2 编码方法 97
§3.3 PAD与流程图、语言之间的比较 98
§3.3.1 程序逻辑的清晰性 99
§3.3.2 程序风格的规律性 103
§3.3.3 初期测试的简易性 104
§3.3.4 易编码性 106
§3.3.5 数据结构图式的可描述性 107
§3.3.6 机器处理的容易性 108
§3.3.7 空间效率的良好性 108
§3.4 PAD有效性评价 108
§3.5 小结 109
参考文献 110
§4.2 PAD的用法 113
第四章 PAD法应用 113
§4.1 引言 113
§4.3 PAD扩充图式 115
§4.3.1 N＋？循环 116
§4.3.2 带限制的GOTO 117
§4.3.3 PAD的逐步改良的例子 122
§4.3.4 无穷循环和并行处理的写法 124
§4.4 其它设计表现树图 126
§4.5 小结 129
参考文献 139
§5.2 CASD概要 142
第五章 HITACHI软件开发支持CASD 142
§5.1 引言 142
§5.3 设计支持子系统 144
§5.4 程序设计支持子系统 145
§5.5 测试支持子系统 147
§5.6 小结 152
第六章 软件可靠性评价的基本理论 159
§6.1 引言 159
§6.2 概率代数 159
§6.3 概率分布和可靠度 168
§6.3.1 概率分布 168
§6.3.2 可靠度的概率 173
§6.4 软件可靠性的代数体系 181
§6.4.1 引言 181
§6.4.2 单胚和半环 182
§6.4.3 半环的应用 189
§6.4.4 畴和函子 197
§6.5 传递概率矩陈模型 204
§6.5.1 引言 204
§6.5.2 状态及传递 205
§6.5.3 传递概率矩阵 205
§6.5.4 正则传递概率矩阵 207
§6.5.5 吸收传递概率矩阵 212
§6.5.6 传递概率矩阵在可靠性工程学中的应用 228
第七章 系统的可靠度 237
§7.1 引言 237
§7.2 串并行模型 238
§7.3 使用真值表计算系统的可靠度 241
§7.4 抽象化冗余模型 243
第八章 单位软件的故障和可靠度 256
§8.1 引言 256
§8.2 错误播种模型 257
§8.3 Weibull分布模型 259
§9.1 引言 264
第九章 故障发生成长模型 264
§9.2 成长曲线模型 265
第十章 结构化程序和网状程序的可靠性评价 271
§10.1 引言 271
§10.2 结构化程序的代数结构 272
§10.3 结构化程序的可靠度 281
§10.4 网状程序 284
§10.5含有非结构化程序的结构化程序 294
习题 295
参考文献 298