图书介绍
程序设计方法学pdf电子书版本下载
- 朱三元编著 著
- 出版社： 上海：上海交通大学出版社
- ISBN：7313003005
- 出版时间：1988
- 标注页数：316页
- 文件大小：10MB
- 文件页数：329页
- 主题词：
PDF下载
下载说明
程序设计方法学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录 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