软件规约方法与Z语言2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件规约方法与Z语言PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 软件规约方法和语言1

1.1 基础知识2

1.2 规约方法4

1.3 规约语言24

第二章 一阶逻辑和集合论31

2.1 一阶逻辑31

2.2 集合论37

第三章 关系44

3.1 笛卡尔积和关系44

3.2 前域和值域45

3.3 关系的并46

3.4 关系的逆47

3.5 前域限制和前域反限48

3.6 值域限制和值域反限49

3.7 关系的像51

3.8 关系的合成52

3.9 关系闭包52

第四章 模式与规约54

4.1 模式54

4.2 模式运算56

4.3 模式合成62

4.4 电话系统的规约64

第五章 函数73

5.1 部分函数73

5.2 全函数73

5.3 有限函数74

5.4 内射函数74

5.5 满射函数74

5.6 双射函数75

5.7 函数作用75

5.8 函数重载75

5.9 λ-表示77

5.10 天气预报的规约78

第六章 序列81

6.1 基本思想81

6.2 序列的定义81

6.3 序列分解函数83

6.4 序列操作函数83

6.5 无穷序列87

第七章 多重集合88

7.1 基本性质88

7.2 多重集合处理函数88

7.3 排序的规约91

7.4 售货机的规约92

第八章 自由类型101

8.1 证明序列101

8.2 规约101

8.3 自由类型的形式处理105

第九章 形式证明107

9.1 命题演算107

9.2 谓词演算122

第十章 模式推理132

10.1 教室的规约132

10.2 模式和谓词133

10.3 初始化证明134

10.4 规约理论的构造135

10.5 前置条件137

10.6 规约的完整性139

10.7 操作的精化141

第十一章 具体化和分解142

11.1 基本概念142

11.2 用序列表示集合143

11.3 规约和设计151

11.4 设计的正确性152

12.1 路线规划问题156

第十二章 路线规划问题的规约156

12.2 系统状态空间158

12.3 相关操作159

第十三章 图书馆问题的规约163

13.1 图书馆问题163

13.2 全局实体163

13.3 系统状态164

13.4 相关操作168

第十四章 Z语言的面向对象扩充186

14.1 面向对象基本概念186

14.2 四边形的类结构188

第十五章 Object-Z语言195

15.1 概述195

15.2 四边形的规约205

第十六章 OOZE语言210

16.1 概述210

16.2 四边形的规约241

附录1 Z语法245

附录2 数学符号250

附录3 名词注释254

参考文献261