《计算机软件方法学》求取 ⇩

目录1

第一章结构化程序设计1

1.1结构化程序1

1.1.1程序结构1

1.1.2结构化程序的定义2

1.1.3结构化定理4

1.2结构化程序设计8

1.2.1结构化程序设计推荐框图8

1.2.2逐步求精方法9

1.3.1基本思想13

1.3模块化程序设计13

1.3.2模块独立性14

1.4程序设计风格17

1.4.1 基本思想17

1.4.2程序设计风格17

1.4.3程序的健壮性19

思考练习题20

第二章程序正确性证明21

2.1程序的部分正确性与终止性21

2.2部分正确性证明22

2.2.1不变式断言法22

2.2.2公理化方法24

2.3终止性证明29

2.3.1良序集方法29

2.3.2计数器方法31

思考练习题33

第三章递归程序正确性证明35

3.1递归转化为迭代35

3.2递归程序模式及计算规则36

3.2.1递归程序模式36

3.2.2递归计算规则37

3.3.1结构归纳法40

3.3递归程序正确性证明40

3.3.2 良序归纳法42

思考练习题44

第四章并行程序正确性证明45

4.1并行程序设计45

4.1.1信号灯45

4.1.2 Ada中的并行性46

4.2时态逻辑简介50

4.2.1基本思想50

4.2.2模态逻辑简介51

4.2.3时态逻辑简介52

4.2.4程序时态逻辑53

4.3.1并行程序模型54

4.3 并行程序正确性证明54

4.3.2并行程序性质的时态描述56

思考练习题62

第五章程序形式推导63

5.1谓词变换器63

5.1.1基本思想63

5.1.2谓词变换器64

5.2面向目标的推导66

5.2.1序列语句推导67

5.2.2选择语句推导67

5.2.3循环语句推导69

5.3循环不变式推导74

5.3.1删去一个合取分量75

5.3.2用变量代替常量76

5.3.3扩展变量的值域76

5.3.4前部条件与后部条件结合77

5.4逐步求精模型77

5.4.1后置条件的变换77

5.4.2基本不变式的构造79

5.4.3细分规则80

5.4.4构造规则的求精80

思考练习题81

6.1.1变换的基本思想82

6.1程序变换基本规则82

第六章程序变换82

6.1.2变换的基本规则83

6.2程序生成84

6.3程序改进86

6.3.1非尾递归转化为尾递归86

6.3.2多递归分支的转化88

6.3.3二重递归的转化89

6.4函数复合和反演90

6.4.1 函数复合90

6.4.2 函数反演91

思考练习题92

7.1.1抽象数据类型的概念93

第七章抽象数据类型及其实现93

7.1抽象数据类型及代数规格说明93

7.1.2代数规格说明94

7.1.3抽象数据类型的实现96

7.2一种形式变换方法简介96

7.2.1抽象数据类型的形式化讨论97

7.2.2中间抽象数据类型的确定98

7.2.3变换规则及正确性100

7.3基于抽象数据类型设计程序设计语言104

7.3.1抽象数据类型的简单定义104

7.3.2项语言和条件语言105

7.3.3子程序语言106

7.3.4子程序调用的讨论107

7.3.5递归程序正确性验证107

思考练习题108

第八章软件工程109

8.1软件和软件周期109

8.2软件工程109

8.3系统定义与软件计划110

8.3.1系统分析111

8.3.2可行性研究113

8.3.3成本效益分析113

8.4软件需求114

8.4.1结构化分析方法115

8.4.2数据流程图116

8.4.3 数据字典117

8.5 概要设计118

8.5.1结构化设计方法118

8.5.2模块结构图119

8.5.3从数据流程图导出模块结构图120

8.5.4 Jackson方法121

8.6祥细设计122

8.6.1基本思想122

8.6.2图形设计工具123

8.7软件编码124

8.7.1结构化程序设计方法125

8.7.2程序设计质量125

8.8 软件测试125

8.8.1测试方法126

8.8.2单元测试127

8.8.3组装测试127

8.8.4确认测试128

8.8.5测试实例设计129

8.9.1软件维护的内容132

8.9软件维护132

8.9.2软件维护的过程133

8.9.3软件的可维护性133

思考练习题134

第九章快速原型法与第四代语言135

9.1快速原型法135

9.1.1基本思想135

9.1.2快速原型开发模型136

9.1.3快速原型技术139

9.1.4用快速原型法生成用户界面144

9.2第四代语言146

9.2.1基本思想146

9.2.3第四代语言的基本原理148

9.2.2第四代语言的环境148

思考练习题152

第十章面向对象的方法153

10.1面向对象技术153

10.1.1对象、操作、消息和信息隐藏153

10.1.2类、实例和继承性154

10.1.3对象描述155

10.2 面向对象的软件开发155

10.2.1面向对象的系统分析与设计155

10.2.2面向对象的生命周期159

10.3.2面向对象的专家系统设计163

10.3.1面向对象的方法与专家系统163

10.3面向对象的专家系统163

思考练习题167

第十一章软件工程环境168

11.1软件工程环境的建立168

11.1.1软件工程环境的构成及特点168

11.1.2软件工程环境的类型169

11.2形式化开发环境173

11.2.1基本概念173

11.2.2 XYZ系统简介174

11.3模型开发环境及功能设计177

11.3.1模型开发现状178

11.3.2模型开发环境179

11.3.3主要功能设计180

思考练习题180

第十二章程序复杂性度量181

12.1经典的度量方法181

12.1.1 Halstead度量法181

12.1.2 McCabe度量法182

12.2 McCabe和Halstead度量法的缺陷及改进182

12.2.1基本思想182

12.2.2公理化软件复杂性度量184

12.2.3新的测试复杂性度量方法184

12.3.2程序结构的组成186

12.3.1程序结构的描述186

12.3结构复杂性度量方法186

12.3.3程序结构的分解187

12.3.4复杂性度量189

12.3.5与其它度量方法的联系190

12.4程序网络度量方法192

12.4.1程序网络的转换及简化192

12.4.2循环网络的简化193

12.4.3条件语句执行时间的估计193

12.4.4循环程序执行时间的估计194

思考练习题195

参考文献196