程序设计方法学2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

程序设计方法学PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录1

第一章 　程序和软件的概念1

1.1　程序的概念1

1.1.1　程序的定义1

1.1.2　程序的理解2

1.1.3　程序设计的历史回顾3

1.1.4　程序间的关系6

1.1.5　程序与算法15

1.1.6　程序的表示法17

1.1.7　程序的结构21

1.2　软件的概念22

1.2.1　软件和程序的差异22

1.2.2　系统软件和应用软件25

1.2.3　软件的品质27

第二章 　软件工程的基本概念33

2.1　软件工程定义33

2.2　软件工程和一般工程的差异34

2.3　软件工程发展简史36

2.4　软件工程的现状与未来38

2.5　软件的生存周期40

2.6　软件研制的基本原则48

2.7　软件设计的工具51

2.8　软件结构60

2.9　软件生产管理63

第三章 　控制结构70

3.1　控制结构中的三个基型70

3.1.1　顺序结构70

3.1.2　选择结构73

3.1.3　重复结构75

3.2　术语的定义77

3.2.1　程序公式77

3.2.2　常态程序80

3.2.3　初等程序82

3.2.4　结构化程序84

3.2.5　小结86

3.3　三条定理88

3.3.1　引理88

3.3.2　结构性定理89

3.3.3　正确性定理90

3.3.4　展开定理91

3.4　关于对GOTO语句的认识93

3.4.1　滥用GOTO语句确实有害95

3.4.2　如何避免滥用GOTO语句98

3.4.3　带有GOTO语句的结构程序设计107

3.4.4　结论115

4.1　概述116

第四章 　数据结构116

4.2　简单类型118

4.2.1　基本类型118

4.2.2　字符串类型和枚举类型121

4.3　构造类型122

4.3.1　数组122

4.3.2　记录123

4.3.3　集合124

4.4　动态数据结构125

4.4.1　顺序文卷125

4.4.2　指引元类型126

4.4.3　链表127

4.4.4　树128

第五章 　软件结构130

5.1　概述130

5.2　模块的聚合132

5.2.1　聚合的类型132

5.2.2　聚合类型的区分136

5.3　模块的关联和独立性136

5.3.1　关联的类型137

5.3.2　数据隐蔽139

5.4　模块大小与标准化147

5.4.1　模块的大小147

5.4.2　标准模块150

5.5　模块化及其优缺点151

5.5.1　模块化的优点152

5.5.2　模块化的缺点154

第六章 　模块化原则156

6.1　概述156

6.2　独立子程序和数据隐蔽157

6.3　使用判定表158

6.4　使用符号参数163

6.5　分离输入输出功能170

6.6　不共享临时存储单元172

6.7　模块化系统的组装172

6.8　模块化系统的优化176

第七章 　自顶向下原则179

7.1　概述179

7.2　自顶向下设计180

7.2.1　基本概念180

7.2.2　设计的要点181

7.2.3　为设计开发结构化规范书189

7.3　自顶向下编码190

7.3.1 定义190

7.3.2　采用自顶向下的理由191

7.4　自顶向下设计的选择、变体及问题194

7.4.1　简单方法195

7.4.2 自顶向下和自底向上的结合196

7.4.3　组织管理197

8.1　概述199

第八章 　结构设计方法199

8.1.1　术语定义200

8.1.2　系统组织的模型202

8.1.3　系统形态203

8.1.4　作用域与控制域204

8.2　转换分析法206

8.2.1　用数据流程图表示用户问题207

8.2.2　标识传入数据元素和传出数据元素209

8.2.3　顶层分解211

8.2.4　对各个分支的分解212

8.2.5　系统结构的调整216

8.3　事务分析法217

8.3.1　事务分析策略218

8.3.2　举例221

8.3.3　分析法对比227

第九章 　Jackson方法229

9.1　基本原理及程序组织形式229

9.1.1　基本原理及目的229

9.1.2　程序的组织形式231

9.1.3　Jackson法概述236

9.2　Jackson法的基本技术239

9.2.1　基本设计方法239

9.2.2　顺序文卷处理技术239

9.2.3　简例244

9.2.4　多种数据结构的匹配248

9.3　回溯技术253

9.3.1　产生回溯的原因253

9.3.2　回溯处理技术254

9.3.3　副作用处理258

9.4　结构冲突的消除技术261

9.4.1　冲突类型261

9.4.2　消除冲突的技术264

9.4.3　结论275

9.5　系统设计原理277

9.6　Jackson法与结构设计法的比较279

第十章 　软件确认技术281

10.1　概述281

10.2　程序正确性证明284

10.2.1　自底向上方法285

10.2.2　自顶向下方法288

10.3　静态分析技术288

10.3.1　结构预查288

10.3.2　流图分析290

10.3.3　符号执行292

10.3.4　小结297

10.4　动态测试技术297

10.4.1　简述297

10.4.2　功能测试299

10.4.3　结构测试303

10.4.4　测试策略307

10.4.5　测试计划的制订312

10.5　比较313

10.6　软件生存周期各阶段的验证活动313

10.6.1　需求阶段313

10.6.2　设计阶段315

10.6.3　编码阶段315

10.6.4　维护阶段316