计算机软件工程学PDF电子书下载

目录 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