目录

第一章 概论

§1.1 软件工程学的形成及其发展过程

§1.2 基本概念

§1.3 软件产品的设计、生产过程

§1.4 要求定义、分析工程

§1.5 设计工程

§1.6 维护工程

第二章 基于正交模块分割法的软件设计系统

§2.1 引言

§2.2 设计方法论

§2.3 设计语言

§2.4 设计语言处理

§2.5 FORTRAN、COBOL中的数据流机构

§2.6 小结

参考文献

第三章 软件设计表现P A D法基础

§3.1 引言

§3.2 用P A D法描述程序开发的原理

§3.2.1 PAD记法

§3.2.2 编码方法

§3.3 PAD与流程图、语言之间的比较

§3.3.1 程序逻辑的清晰性

§3.3.2 程序风格的规律性

§3.3.3 初期测试的简易性

§3.3.4 易编码性

§3.3.5 数据结构图式的可描述性

§3.3.6 机器处理的容易性

§3.3.7 空间效率的良好性

§3.4 PAD有效性评价

§3.5 小结

参考文献

§4.2 PAD的用法

第四章 PAD法应用

§4.1 引言

§4.3 PAD扩充图式

§4.3.1 N＋？循环

§4.3.2 带限制的GOTO

§4.3.3 PAD的逐步改良的例子

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

§4.4 其它设计表现树图

§4.5 小结

参考文献

§5.2 CASD概要

第五章 HITACHI软件开发支持CASD

§5.1 引言

§5.3 设计支持子系统

§5.4 程序设计支持子系统

§5.5 测试支持子系统

§5.6 小结

第六章 软件可靠性评价的基本理论

§6.1 引言

§6.2 概率代数

§6.3 概率分布和可靠度

§6.3.1 概率分布

§6.3.2 可靠度的概率

§6.4 软件可靠性的代数体系

§6.4.1 引言

§6.4.2 单胚和半环

§6.4.3 半环的应用

§6.4.4 畴和函子

§6.5 传递概率矩陈模型

§6.5.1 引言

§6.5.2 状态及传递

§6.5.3 传递概率矩阵

§6.5.4 正则传递概率矩阵

§6.5.5 吸收传递概率矩阵

§6.5.6 传递概率矩阵在可靠性工程学中的应用

第七章 系统的可靠度

§7.1 引言

§7.2 串并行模型

§7.3 使用真值表计算系统的可靠度

§7.4 抽象化冗余模型

第八章 单位软件的故障和可靠度

§8.1 引言

§8.2 错误播种模型

§8.3 Weibull分布模型

§9.1 引言

第九章 故障发生成长模型

§9.2 成长曲线模型

第十章 结构化程序和网状程序的可靠性评价

§10.1 引言

§10.2 结构化程序的代数结构

§10.3 结构化程序的可靠度

§10.4 网状程序

§10.5含有非结构化程序的结构化程序

习题

参考文献