软件语言及其实现PDF电子书下载

第一章 引言 1

1．1 软件语言含义 1

1．1．1 语言 1

1．1．2 软件 2

1．1．3 软件语言 2

1．2 软件语言作用 2

1．2．1 描述作用 2

1．2．2 交流作用 2

1．2．3 标志作用 3

1．3 软件语言级别 3

1．3．1 需求级语言 3

1．3．2 功能级语言 4

1．3．3 设计级语言 4

1．3．4 实现级语言 4

1．4．1 低抽象级到高抽象级 7

1．4 软件语言发展 7

1．4．2 顺序语言到并发（并行）语言 8

1．4．3 单机语言到网络语言 8

1．5 本书内容与体式 9

1．5．1 取材以作者工作为基础 9

1．5．2 组织按语言级别分篇 10

1．5．3 内容侧重语言，兼及实现 10

2．2 软件需求定义（规约） 11

2．2．2 内容 11

2．2．1 含义 11

第二章 软件需求分析概述 11

2．1 软件需求分析含义 11

需求级语言篇 11

2．2．3 目的 12

2．2．4 使用 13

2．2．5 现状 13

2．3．2 研究内容 14

2．3．1 定义 14

2．3 软件需求定义语言 14

第三章 软件需求定义语言NDRDL 17

3．1 设计目标 17

3．1．1 实用性佳 17

3．1．2 表述力强 17

3．1．3 易读性好 17

3．1．4 严谨性高 17

3．2 设计原则 18

3．2．1 基于功能分解风范与结构化方法 18

3．2．2 功能需求与非功能需求兼顾 18

3．2．3 语言与需求定义均具层次性 18

3．2．4 非形式化、半形式化、形式化三种表示综合应用 18

3．2．5 严格之语法与语义描述 19

3．3 语言成分 19

3．3．1 数据流图（DFD） 19

3．3．2 控制流图（CFD） 21

3．3．3 实体联系图（ERD） 24

3．3．4 字典 25

3．3．5 软件需求定义（SRD） 27

3．4 讨论 29

3．5 功能构造之形式语义 29

3．5．1 引述 29

3．5．2 DFD之形式语义 30

3．5．3 CFD之形式语义 32

3．5．4 ERD之形式语义 33

3．5．5 字典之形式语义 34

第四章 软件需求分析支撑系统NDRASS 35

4．1 设计目标与抉择 35

4．1．1 以NDRDL为系统之源语言 35

4．1．2 以Z为系统之目标语言 35

4．2．1 体系结构 36

4．2 系统组成 36

4．1．4 注重实用 36

4．1．3 基于功能分解风范 36

4．2．2 运作过程 37

4．2．3 检查 37

4．3 功能规约语言Z 38

4．4 图形编辑程序 40

4．4．1 图符 40

4．4．2 功能 40

4．4．3 算法 40

4．5 功能规约自动生成程序 40

4．5．1 功能规约自动生成架构 40

4．5．2 状态空间Schema生成 41

4．5．3 操作定义Schema生成 42

4．5．4 总控流程Schema生成架构 43

4．5．5 控制流图规范化 44

4．5．6 控制流图结构化 49

4．5．7 代码生成 53

4．6 相关工作 54

4．6．1 软件需求工程方法学 54

4．6．2 受控需求表述 54

4．6．3 结构化常识与模态作用逻辑 55

4．6．4 基于知识需求助手 55

4．7 结束语 55

第五章 软件需求定义语言NDRDL2.0及其支撑系统NDRASS2.0 56

5．1 软件需求定义语言NDRDL2.0 56

5．1．1 研究动因 56

5．1．2 基本成分 56

5．1．3 一致性与完备性约束 58

5．2 软件需求分析支撑系统NDRASS2.0 59

5．2．1 系统组成 59

5．2．2 一致性与完备性检查 59

5．2．3 从情形实例综合需求定义 60

5．2．4 结束语 62

第六章 层次化对象式（面向对象）软件需求模型NDHORM与语言NDORL 63

6．1 对象式软件需求分析 63

6．1．1 含义 63

6．1．2 基本概念 63

6．1．3 基本模型 64

6．2 NDHORM模型组成 64

6．2．1 对象关系模型ORM 65

6．2．2 类关系模型CRM 65

6．2．3 类字典 66

6．3 NDHORM模型之层次 66

6．3．1 对象精化 66

6．3．2 模型层次示意 67

6．4 建模过程 67

6．5 图形化对象式需求定义语言NDORL 68

6．5．1 设计思想 68

6．5．2 语言成分 70

6．5．3 形式语义 79

6．6 结束语 83

第七章 对象式软件需求分析支撑系统NDORASS 85

7．1 引述 85

7．2 对象式软件规约语言及环境OOZE 85

7．2．1 概述 85

7．2．2 模块 86

7．2．3 类 88

7．3 系统设计与组织 89

7．3．1 系统逻辑结构 89

7．3．2 系统组成 90

7．3．3 主要功能 91

7．4 从需求定义到形式功能规约之自动转换 91

7．4．1 类关系图及类字典之转换 92

7．4．2 对象关系图之转换 97

7．5 结束语 100

功能级语言篇 101

第八章 软件功能规约语言FGSPEC之设计 101

8．1 语言设计综述 101

8．1．1 概况 101

8．1．2 设计原则 102

8．1．3 规约方法 102

8．2 FGSPEC语言 110

8．2．1 设计思想 111

8．2．2 基本成分 112

第九章 软件功能规约语言FGSPEC之实现 119

9．1 基本模型 119

9．2 正确性架构 119

9．3 支撑机制 121

9．3．1 前件推导机制 121

9．3．2 知识表示机制 121

9．3．3 算法设计方法选择机制 127

9．4 NDADAS系统 128

9．4．1 系统功能与特点 128

9．4．2 系统结构 128

9．4．3 运行实例 131

9．5 NDSAIL系统 132

9．5．1 脆弱性问题 132

9．5．2 系统组成 132

设计级语言篇 135

第十章 软件设计规约语言GSPEC之设计 135

10．1 语言设计综述 135

10．1．1 概况 135

10．1．2 设计原则 136

10．1．3 HOS方法学 136

10．2 GSPEC语言 138

10．2．1 设计思想 138

10．2．2 功能分解描述子语言TREEL 139

10．2．3 抽象数据类型描述子语言ADTL 143

10．2．4 TREEL与ADTL之有机结合 147

第十一章 软件设计规约语言GSPEC之验证 149

11．1 引述 149

11．2 TREEL验证技术 150

11．2．1 函数功能分解性质 150

11．2．2 控制结构 150

11．2．3 多叉分解结构 151

11．3 ADTL验证技术 153

11．3．1 终止性验证技术 155

11．3．2 一致性验证技术 160

11．3．3 完备性验证技术 165

第十二章 软件设计规约语言GSPEC之实现 170

12．1 抽象数据类型实现技术 170

12．1．1 知识表示设计 170

12．1．2 转换模型 172

12．2．2 系统组成 178

12．2 NDAUTO系统 178

12．2．1 系统功能 178

12．2．3 运行实例 181

实现级语言篇 183

第十三章 程序设计语言ALGOL与ADA 183

13．1 ALGOL 60语言 183

13．1．1 重大意义 183

13．1．2 主要特征 183

13．1．3 几个问题 184

13．1．4 J-501计算机ALGOL编译系统 186

13．1．5 NDJ-1（即103）机ALGOL编译系统 187

13．2 ADA语言 190

13．2．1 ADA-0语言编译系统概貌 190

13．2．2 第一趟扫描 191

13．2．3 第二趟扫描 192

14．1．1 设计考虑 196

第十四章 系统程序设计语言 196

14．1 NDHD语言族 196

14．1．2 核心语言 197

14．1．3 实现问题 199

14．1．4 工作情况 201

14．2 XCY语言族 202

14．2．1 XCY语言之设计与实现 202

14．2．2 XCY语言族之设计与实现 209

第十五章 对象式（面向对象）程序设计语言概述 215

15．1 基本概念 215

15．1．1 对象 215

15．1．2 类 216

15．1．3 继承 217

15．1．4 多态 218

15．1．5 动态定连（绑定） 219

15．2 典型语言 219

15．2．1 SIMULA语言 220

15．2．2 SMALLTALK 221

15．2．3 C++ 222

15．2．4 EIFFEL 223

15．2．5 比较 224

第十六章 对象式程序设计语言之形式语义 226

16．1 EIFFEL之简化模型PetitEiffel 226

16．1．1 语法域 226

16．1．2 语法子句 227

16．1．3 解释 228

16．1．4 静态分析 228

16．1．5 语义域 230

16．1．6 语义函数 232

16．2 继承之数学模型 235

16．2．1 基本概念 235

16．2．2 继承之形式语义定义方法 237

17．2．1 函数式语言FP之特点 241

17．2 传统冯·诺依曼计算机上FP系统之实现 241

第十七章 函数式程序设计语言 241

17．1 含义与发展 241

17．2．2 实现之特定FP语言 242

17．2．3 特定FP语言之实现：FP解释性系统FPSYS 244

17．3 数据驱动式并行归约机FPM2之设计与分析及其模型机构作 248

17．3．1 FPM2结构 248

17．3．2 FP语言之实现 250

17．3．3 分析 251

17．3．4 模型机FPMND构作 253

17．3．5 讨论 253

第十八章 逻辑式与函数式结合之语言KLND 255

18．1 语言基本成分 255

18．1．1 要点综述 255

18．1．2 超程序与程序 256

18．1．3 模块 256

18．1．4 关系与函数 257

18．1．5 并行性 259

18．1．6 Horn子句 261

18．1．7 询问语句 261

18．1．8 程序实例 262

18．2 并行推理系统NDPIS 263

18．2．1 概述 263

18．2．2 置换驱动之基指令系统 264

18．2．3 KLND-ENGINE 265

18．2．4 用户界面 267

18．2．5 模型机性能分析 268

18．2．6 比较与总结 268

参考文献 269

跋 273

索引 274