《计算机软件工程学》求取 ⇩

目录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 带限制的GOTO117

§4.3.3 PAD的逐步改良的例子122

§4.3.4 无穷循环和并行处理的写法124

§4.4 其它设计表现树图126

§4.5 小结129

参考文献139

§5.2 CASD概要142

第五章 HITACHI软件开发支持CASD142

§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