当前位置:首页 > 工业技术
软件设计方法
软件设计方法

软件设计方法PDF电子书下载

工业技术

  • 电子书积分:10 积分如何计算积分?
  • 作 者:王选著
  • 出 版 社:北京:清华大学出版社
  • 出版年份:1992
  • ISBN:7302009899
  • 页数:229 页
图书介绍:
《软件设计方法》目录

目录 1

第一章 结构程序设计的发展 1

1.1 软件生存期 1

1.2 软件开发和维护中存在的问题 5

1.3 好程序的标准 7

1.4 结构程序设计的发展历史 9

1.5 结构程序设计的主要内容 11

1.5.1 限制使用GO TO语句 12

1.5.2 逐步求精的设计方法 15

1.5.3 自顶向下的设计,编码和调试 21

1.5.4 主程序员组的组织形式 27

1.6 把非结构化程序变成结构化程序的方法 30

1.6.1 Mills方法 30

1.6.2 应用Mills方法的例子 35

1.6.3 状态变量法 46

1.7.1 结构化的流程图 49

1.7 软件设计的工具 49

1.7.2 Chapin图 50

1.7.3 Yourdon的结构图 52

1.7.4 伪代码 61

1.7.5 Jackson结构图解和概要逻辑 61

1.7.6 Warnier图解 69

第二章 基于数据结构的Jackson设计方法 77

2.1 一个例子说明程序结构的重要性 77

2.2 程序结构应该基于数据结构 80

2.3 基本设计方法 82

2.4 串联输入文件的读入方法 87

2.4.1 串联输入文件的一个例子 87

2.4.2 预先读 89

2.4.3 处理输入文件的又一例子 95

2.5 多个数据结构 99

2.5.1 结构对应 99

2.5.2 整理 102

2.6 错误数据的处理 107

2.7.1 预先读多个记录 111

2.7 回溯方法 111

2.7.2 先假设后验证的回溯方法 113

2.7.3 先假设后验证所带来的副作用 117

2.8 结构冲突 127

2.8.1 次序冲突 128

2.8.2 边界冲突 130

2.9 程序转换 139

2.9.1 增加中间文件后带来的问题 139

2.9.2 程序转换 141

2.9.3 在不修改编译系统的前提下进行程序转换的方法 148

2.9.4 转换了的程序与调用程序之间的控制信息传递 153

第三章 Warnier的LCP方法 161

3.1 判定表 161

3.1.1 判定表的形式和优点 161

3.1.2 判定表的简化和ELSE列 164

3.1.3 把判定表转换成程序 165

3.1.4 用判定表表示程序算法流程 166

3.2 Warnier的LCP方法 168

3.3 LCP方法的程序检查和调试 176

3.3.1 程序的正确性检查 176

3.3.2 程序的调试 177

3.4 LCP方法的程序修改 180

3.5 LCP方法和Jackson方法的比较 186

第四章 Yourdon的结构化设计方法 190

4.1 耦合 190

4.1.1 模块的耦合对系统复杂程度的影响 190

4.1.2 影响耦合的因素 191

4.1.3 公共环境耦合 195

4.1.4 内容耦合 196

4.2 内聚 196

4.3 模块类型和系统结构方面的问题 208

4.3.1 模块类型 208

4.3.2 系统结构方面的一些问题 209

4.4 基于数据流图的设计步骤 217

4.4.1 以变换为中心的系统的结构设计步骤 217

4.4.2 一个例子——病人监督程序 224

相关图书
作者其它书籍
返回顶部