软件语言及其实现PDF|Epub|txt|kindle电子书版本网盘下载

软件语言及其实现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

第三章 软件需求定义语言NDRDL17

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

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

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 功能规约语言Z38

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.056

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

5．1．1 研究动因56

5．1．2 基本成分56

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

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

5．2．1 系统组成59

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

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

5．2．4 结束语62

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

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

6．1．1 含义63

6．1．2 基本概念63

6．1．3 基本模型64

6．2 NDHORM模型组成64

6．2．1 对象关系模型ORM65

6．2．2 类关系模型CRM65

6．2．3 类字典66

6．3 NDHORM模型之层次66

6．3．1 对象精化66

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

6．4 建模过程67

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

6．5．1 设计思想68

6．5．2 语言成分70

6．5．3 形式语义79

6．6 结束语83

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

7．1 引述85

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

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 功能分解描述子语言TREEL139

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

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与ADA183

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 SMALLTALK221

15．2．3 C++222

15．2．4 EIFFEL223

15．2．5 比较224

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

16．1 EIFFEL之简化模型PetitEiffel226

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解释性系统FPSYS244

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

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

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 并行推理系统NDPIS263

18．2．1 概述263

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

18．2．3 KLND-ENGINE265

18．2．4 用户界面267

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

18．2．6 比较与总结268

参考文献269

跋273

索引274