第一篇 初始概念第1章 软件与计算机 3
1.1 软件 3
1.2 算法 4
1.3 程序 5
1.4 计算机 5
1.5 软件工程 6
1.6 小结 7
第2章 事物 8
2.1 事物的定义 8
2.2 事物的虚实 8
2.3 事物的标识 9
2.4 小结 10
第3章 情况 11
3.1 case的物理定义 11
3.2 case的形式定义 13
3.3 case与过程 16
3.4 基本事物集 18
3.5 case的性质 20
3.6 语法成分的信息化 21
3.7 相关概念 24
3.8 小结 26
第二篇 过程及其结构树第4章 作业树 31
4.1 控制语句 31
4.2 作业树的构造规则 33
4.3 遍历编程算法 35
4.4 程序框图结构化 37
4.5 结构框图树型化 41
4.6 作业表 45
4.7 作业树的结构特征 45
4.8 作业树的通用性 50
4.9 作业树设计举例 52
4.10 小结 56
第5章 任务 57
5.1 作业 57
5.2 任务的定义 60
5.3 任务的实现算法 62
5.4 任务的独立性 64
5.5 任务的协作性 66
5.6 任务树 69
5.7 主任务 70
5.8 小结 71
第6章 作业逻辑件 72
6.1 控制的宗族归属 72
6.2 作业控制结构 77
6.3 单控逻辑件 78
6.4 双控逻辑件 80
6.5 逻辑件集的完备性 85
6.6 小结 88
第7章 事件 90
7.1 等效处理原理 90
7.2 两类事件 91
7.3 原子事件 93
7.4 高级事件 95
7.5 基本事物集与数据库 97
7.6 单纯性与并列性 98
7.7 个性与共性 100
7.8 工序关系 101
7.9 事件树 102
7.10 小结 103
第8章 系统 105
8.1 系统结构 105
8.2 系统信息流 106
8.3 系统业务目标 108
8.4 系统分析方法 109
8.5 系统模块设计 111
8.6 系统概貌 112
8.7 小结 115
第三篇 系统分析与设计第9章 需求分析与毛坯树 119
9.1 需求获取 119
9.2 需求分析原理 121
9.3 系统分析报告 122
9.4 毛坯树的生成 123
9.5 原子事件物化 124
9.6 虚事物实化 126
9.7 小结 127
第10章 事件确认与原型树 128
10.1 原子事件中的事物 128
10.2 系统中的原子事件 131
10.3 原子事件的确认 133
10.4 股票交易原型树 134
10.5 小结 139
第11章 结构设计与实现树 140
11.1 树型软件工程方法结构设计 140
11.2 原子事件的插入 142
11.3 用户需求的完善 143
11.4 软件设计的要求 145
11.5 系统平台的适应 148
11.6 小结 153
第12章 事件树系统特性 154
12.1 模块划分特性 154
12.2 原子事件的过程特征 155
12.3 事件树中的生产流 157
12.4 事件树中的控制流 159
12.5 事件表 160
12.6 小结 161
第13章 系统界面结构 163
13.1 查询 163
13.2 展示系统 163
13.3 系统输入 164
13.4 菜单树 165
13.5 小结 166
第14章 原子事件的主作业树 167
14.1 参数事件的主作业树形态 167
14.2 共性事件的主作业树形态 169
14.3 展示事件的主作业树形态 170
14.4 小结 171
第四篇 树型软件及其工程方法第15章 树型软件理论 175
15.1 现实世界 175
15.2 信息世界 176
15.3 思维世界 177
15.4 数据 179
15.5 控制 180
15.6 关系 181
15.7 系统结构模型 183
15.8 小结 185
第16章 树型软件工程 186
16.1 从外向内的分析设计 186
16.2 从内向外的程序设计 189
16.3 作业树的设计方法 190
16.4 家庭安全系统 192
16.5 旅客乘机系统 197
16.6 小结 202
第17章 树型软件程序 203
17.1 系统程序结构 203
17.2 声明语句的安排 205
17.3 高级事件的程序语句 207
17.4 树型软件的C程序 209
17.5 对象技术的应用原则 213
17.6 原子构件类 215
17.7 树型软件的C＋＋程序 218
17.8 小结 218
第18章 树型软件测试 220
18.1 从外向内的需求确认 220
18.2 从内向外的程序测试 222
18.3 作业侧子树调试 222
18.4 过程黑盒式测试 225
18.5 独立子树测试 226
18.6 树型软件的测试管理 228
18.7 小结 230
第19章 工程方法评审 231
19.1 物理性能 231
19.2 数学性能 232
19.3 工程性能 233
19.4 测试性能 235
19.5 处理性能 235
19.6 小结 236
第五篇 统计系统设计第20章 数据粒度与空间维度 239
20.1 数据粒度 239
20.2 维度 240
20.3 维表 242
20.4 逻辑维度与物理维度 243
20.5 时间变量 245
20.6 小结 247
第21章 空间和对象 248
21.1 数据库空间 248
21.2 逻辑减维 249
21.3 物理扩度 249
21.4 统计空间 250
21.5 统计对象 252
21.6 统计指标 252
21.7 统计库 253
21.8 小结 255
第22章 参数库上的统计 256
22.1 A类统计事件 256
22.2 A类事物定义空间 257
22.3 A类统计空间 258
22.4 小结 259
第23章 共性库上的统计 260
23.1 B类统计事件 260
23.2 B类事物定义空间 261
23.3 B类初级减维 262
23.4 B类标识扩度 263
23.5 B类对象中的A类计数 266
23.6 BA类统计 267
23.7 小结 270
第24章 统计系统综述 271
24.1 统计需求分析 271
24.2 统计事件 272
24.3 指标源 273
24.4 统计事件的主作业树形态 274
24.5 小结 278
第六篇 辅助设计系统及其他第25章 辅助需求分析 281
25.1 需求收集与分析 281
25.2 整理生产性case 281
25.3 整理原子事件 282
25.4 构造事件树 283
25.5 填写“事件表” 284
25.6 小结 284
第26章 辅助结构设计 286
26.1 终结数据建模 286
26.2 合并数据库 287
26.3 事件树结构调整 288
26.4 事件功能分析 289
26.5 小结 289
第27章 说明树辅助设计 290
27.1 作业树辅助制图 290
27.2 主作业树辅助设计 291
27.3 辅助构造任务树 292
27.4 协作任务说明树 292
27.5 系统界面辅助设计 293
27.6 小结 293
第28章 作业树辅助编程 294
28.1 编写控制语句 294
28.2 顺序段辅助编程 294
28.3 定义过程的变量 295
28.4 自动检查与编程 296
28.5 小结 297
第29章 辅助测试系统 298
29.1 辅助需求确认 298
29.2 作业树辅助测试 299
29.3 结构树辅助测试 299
29.4 系统特征辅助测试 300
29.5 小结 300
第30章 辅助系统界面 302
30.1 首页 302
30.2 文件 303
30.3 制图 304
30.4 分析 304
30.5 结构 304
30.6 说明树 305
30.7 程序树 307
30.8 测试 308
30.9 会签 309
30.10 运行 309
30.11 小结 310
第31章 软件复用 311
31.1 复用的可行性 311
31.2 复用匹配 312
31.3 任务的复用 313
31.4 事件的复用 313
31.5 组装设计 314
31.6 复用检索 315
31.7 复用管理 315
31.8 小结 316
第32章 软件结构与工程方法 317
32.1 软件的结构是关键 317
32.2 树型是理想的软件结构模型 320
32.3 树型图上的可视回溯 322
32.4 半智能化的辅助工具 322
32.5 小结 324
参考文献 325
后记：树型软件工程方法的哲理 326