软件语言及其实现

第一章 引言
1.1 软件语言含义
1.1.1 语言
1.1.2 软件
1.1.3 软件语言
1.2 软件语言作用
1.2.1 描述作用
1.2.2 交流作用
1.2.3 标志作用
1.3 软件语言级别
1.3.1 需求级语言
1.3.2 功能级语言
1.3.3 设计级语言
1.3.4 实现级语言
1.4 软件语言发展
1.4.1 低抽象级到高抽象级
1.4.2 顺序语言到井发（并行）语言
1.4.3 单机语言到网络语言
1.5 本书内容与体式
1.5.1 取材以作者工作为基础
1.5.2 组织按语言级别分篇
1.5.3 内容侧重语言，兼及实现
需求级语言篇
第二章 软件需求分析概述
2.1 软件需求分析含义
2.2 软件需求定义（规约）
2.2.1 含义
2.2.2 内容
2.2.3 目的
2.2.4 使用
2.2.5 现状
2.3 软件需求定义语言
2.3.1 定义
2.3.2 研究内容
第三章 软件需求定义语言NDRDL
3.1 设计目标
3.1.1 实用性佳
3.1.2 表述力强
3.1.3 易读性好
3.1.4 严谨性病
3.2 设计原则
3.2.1 基于功能分解风范与结构化方法
3.2.2 功能需求与非功能需求兼顾
3.2.3 语言与需求定义均具层次性
3.2.4 非形式化、半形式化、形式化三种表示综合应用
3.2.5 严格之语法与语义描述
3.3 语言成分
3.3.1 数据流图（DFD）
3.3.2 控制流图（CFD）
3.3.3 实体联系图（ERD）
3.3.4 字典
3.3.5 软件需求定义（SRD）
3 4 讨论
3.5 功能构造之形式语义
3.5.1 引述
3.5.2 DFD之形式语义
3.5.3 CFD之形式语义
3.5.4 ERD之形式语义
3.5.5 字典之形式语义
第四章 软件需求分析支撑系统NDRASS
4.1 设计目标与抉择
4.1.1 以NDRDL为系统之源语言
4.1.2 以Z为系统之目标语言
4.1.3 基于功能分解风范
4.1.4 注重实用
4.2 系统组成
4.2.1 体系结构
4.2.2 运作过程
4.2.3 检查
4.3 功能现约语言Z
4.4 图形编辑程序
4.4.1 图符
4.4.2 功能
4.4.3 算法
4.5 功能规约自动生成程序
4.5.1 功能规约自动生成架构
4.5.2 状态空间Schema生成
4.5.3 操作定义Schema生成
4.5.4 总控流程Schema生成架构
4.5.5 控制流图规范化
4.5.6 控制流图结构化
4.5.7 代码生成
4.6 相关工作
4.6.1 软件需求工程方法学
4.6.2 受控需求表述
4.6.3 结构化常识与模态作用逻辑
4.6.4 基于知识需求助手
4.7 结束语
第五章 软件需求定义语言NDRDL 2.0及其支撑系统NDRASS 2.0
5.1 软件需求定义语言NDRDL 2.0
5.1.1 研究动因
5.1.2 基本成分
5.1.3 一致性与完备性约束
5.2 软件需求分析支撑系统NDRASS 2.0
5.2.1 系统习已成
5.2.2 一致性与完备性检查
5.2.3 从情形实例综合需求定义
5.2.4 结束语
第六章 层次化对象式（面向对象）软件需求模型NDHORM与语言NDORL
6.1 对象式软件需求分析
6.1.1 含义
6.1.2 基本概念
6.1.3 基本模型
6.2 NDHORM模型组成
6.2.1 对象关系模型ORM
6.2.2 类关系模型CRM
6.2.3 类字典
6.3 NDHORM模型之层次
6.1.1 对象精化
6.3.2 模型层次示意
6.4 建模过程
6.5 图形化对象式需求定义语言NDORI
6.5.1 设计思想
6.5.2 语言成分
6.5.3 形式语义
6.6 结束语
第七章 对象式软件需求分析支撑系统NDORASS
7.1 引述
7.2 对象式软件规约语言及环境OOZE
7.2.1 概述
7.2.2 模块
7.2.3 类
7.3 系统设计与组织
7.3.1 系统逻辑结构
7.3.2 系统组成
7.3.3 主要功能
7.4 从需求定义到形式功能规约之自动转换
7.4.1 类关系图及类字典之转换
7.4.2 对象关系图之转换
7.5 结束语
功能级语言篇
第八章 软件功能规约语言FGSPEC之设计
8.1 语言设计综述
8.1.1 概况
8.1.2 设计原则
8.1.3 规约方法
8.2 FGSPEC语言
8.2.1 设计思想
8.2.2 基本成分
第九章 软件功能规约语言FGSPEC之实现
9.1 基本模型
9.2 正确性架构
9.3 支撑机制
9.3.1 前件推导机制
9.3.2 知识表示机制
9.3.3 算法设计方法选择机制
9.4 NDADAS系统
9.4.1 系统功能与特点
9.4.2 系统结构
9.4.3 运行实例
9.5 NDSAll系统
9.5.1 脆弱性问题
9.5.2 系统组成
设计级语言篇
第十章 软件设计规约语言GSPEC之设计
10.1 语言设计综述
10.1.1 概况
10.1.2 设计原则
10.1.3 HOS方法学
10.2 GSPEC语言
10.2.1 设计思想
10.2.2 功能分解描述子语言TREEL
10.2.3 抽象数据类型描述子语言ADTL
10.2.4 TREEL与ADTL之有机结合
第十一章 软件设计规约语言GSPEC之验证
11.1 引述
11.2 TREEL验证技术
11.2.1 函数功能分解性质
11.2.2 控制结构
11.2.3 多叉分解结构
11.3 ADTL一验证技术
11.3.1 终止性验证技术
11.3.2 一致性验证技术
11.3.3 完备性验证技术
第十二章 软件设计规约语言GSPEC之实现
12.1 抽象数据类型实现技术
12.1.1 知识表示设计
12.1.2 转换模型
12.2 NDAUTO系统
12.2.1 系统功能
12.2.2 系统组成
12.2.3 运行实例
实现级语言篇
第十三章 程序设计语言ALGOL与ADA
13.1 ALGOL 60语言
13.1.1 重大意义
13.1.2 主要特征
13.1.3 几个问题
13.1.4 J-501计算机ALGOL编译系统
13.1.5 NDJ-1（即 103）机ALGOL编译系统
13.2 ADA语言
13.2.1 ADA－O语言编译系统概貌
13.2.2 第一趟扫描
13.2.3 第二趟扫描
第十四章 系统程序设计语言
14.1 NDHD语言族
14.1.1 设计考虑
14.1.2 核心语言
14.1.3 实现问题
14.1.4 工作情况
14.2 XCY语言族
14.2.1 XCY语言之设计与实现
14.2.2 XCY语言族之设计与实现
第十五章 对象式（面向对象）程序设计语言概述
15.1 基本概念
15.1.1 对象
15.1.2 类
15.1.3 继承
15.1.4 多态
15.1.5 动态定连（绑定）
15.2 典型语言
15.2.1 SIMULA语言
15.2.2 SMALLTALK
15.2.3 C++
15.2.4 EIFFEL
15.2.5 比较
第十六章 对象式程序设计语言之形式语义
16.1 EIFFEL之简化模型PetitEiffel
16.1.1 语法域
16.1.2 语法子句
16.1.3 解释
16.1.4 静态分析
16.1.5 语义域
16.1.6 语义函数
16.2 继承之数学模型
16.2.1 基本概念
16.2.2 继承之形式语义定义方法
第十七章 函数式程序设计语言
17.1 含义与发展
17.2 传统冯.诺依曼计算机上FP系统之实现
17.2.1 函数式语言FP之特点
17.2.2 实现之特定FP语言
17.2.3 特定FP语言之实现:FP解释性系统FISYS
17.3 数据驱动式并行归约机FPM2之设计与分析及其模型机构作
17.3.1 FPM2结构
17.3.2 FP语言之实现
17.3.3 分析
17.3.4 模型机FPMND构作
17.3.5 讨论
第十八章 逻辑式与函数式结合之语言KLND
18.1 语言基本成分
18.1.1 要点综述
18.1.2 超程序与程序
18.1.3 模块
18.1.4 关系与函数
18.1.5 并行性
18.1.6 Horn子句
18.1.7 询问语句
18.1.8 程序实例
18.2 并行推理系统NDPIS
18.2.1 概述
18.2.2 置换驱动之基指令系统
18.2.3 KLND-ENGINE
18.2.4 用户界面
18.2.5 模型机性能分析
18.2.6 比较与总结
参考文献
跋
索引