图书介绍
软件工程形式化方法与语言PDF|Epub|txt|kindle电子书版本网盘下载
- 李莹，吴江琴著 著
- 出版社： 杭州：浙江大学出版社
- ISBN：9787308066679
- 出版时间：2010
- 标注页数：200页
- 文件大小：13MB
- 文件页数：210页
- 主题词：软件工程
PDF下载
下载说明
软件工程形式化方法与语言PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 引论1
1.1 软件工程1
1.2 软件生存期1
1.3 早期工作的重要性2
1.4 规格说明及其形式化3
1.5 一些重要的形式化规格说明语言4
1.6 关于本书使用的Z语言4
第2章 命题逻辑6
2.1 命题6
2.2 合取7
2.3 析取8
2.4 蕴含9
2.5 等价11
2.6 否定13
2.7 永真式与矛盾式15
第3章 谓词逻辑17
3.1 谓词演算17
3.2 量词与作用域18
3.3 代换19
3.4 全称量词的引入与消去20
3.5 存在量词的引入与消去21
第4章 相等与确定性的描述23
4.1 相等性23
4.2 一点规则24
4.3 数量概念的表达与唯一量词25
4.4 对象的确定性描述26
第5章 集合29
5.1 集合及其定义方法29
5.1.1 集合的枚举定义法29
5.1.2 集合理解定义—利用谓词定义集合31
5.2 幂集32
5.3 笛卡儿积33
5.4 并集、交集和差集33
5.5 类型34
第6章 对象的定义36
6.1 声明36
6.2 省略法定义37
6.3 公理定义38
6.4 类属定义39
第7章 关系42
7.1 声明42
7.2 定义域和值域43
7.3 关系上的操作43
7.3.1 限制与缩减44
7.3.2 关系求逆44
7.3.3 关系的复合45
7.3.4 关系的闭包46
7.3.5 关系的映象（image）47
第8章 函数49
8.1 偏函数和全函数49
8.2 函数的λ表示法50
8.3 内射、满射与双射51
8.4 有限函数52
8.5 函数性质小结53
8.6 函数上的操作54
第9章 序列56
9.1 序列的有关概念56
9.2 序列的形式化定义58
9.3 序列上的操作59
9.4 序列上的函数61
9.5 结构归纳法62
9.6 袋65
第10章 递归定义的类型67
10.1 从自然数的定义谈起67
10.2 递归定义的类型68
10.3 原始递归71
第11章 构型（schema）与规格说明的结构化74
11.1 构型的表示记号74
11.2 一个应用例子的非形式描述76
11.3 描述抽象状态的构型76
11.4 描述操作的构型78
11.5 作为声明使用的构型79
11.6 作为谓词使用的构型80
11.7 重命名81
11.8 类属构型82
11.9 构型演算82
11.9.1 构型的包含82
11.9.2 构型的修饰83
11.9.3 构型的析取运算84
11.9.4 构型的合取运算86
11.9.5 构型的否定运算87
11.9.6 构型的隐藏运算88
11.9.7 构型的复合运算89
11.9.8 构型的前置条件92
11.10 规格说明的提升方法95
11.10.1 几个操作分解的简单例子95
第12章 一个规格说明的实例——文件系统101
12.1 非形式的描述——程序设计接口101
12.2 文件上的操作的形式描述101
12.3 文件系统的形式化规格说明104
12.4 形式化分析与推理107
第13章 数据求精理论110
13.1 什么是求精110
13.2 关系的求精112
13.3 关系求精的进一步讨论113
13.4 相同状态上的操作的求精114
13.5 数据类型与数据求精115
13.6 模拟关系与数据求精117
13.7 模拟条件的宽松与解开119
第14章 操作求精125
14.1 关系与操作构型125
14.2 向前模拟126
14.3 向后模拟132
第15章 类型理论138
15.1 预备知识138
15.1.1 命题和集合138
15.1.2 表达式理论139
15.1.3 Martin-L？f类型理论139
15.2 多型集合140
15.2.1 基本规则140
15.2.2 集合族的笛氏积和不交和141
15.2.3 两个集合的笛氏积和不交和144
15.2.4 各种集合146
15.2.5 相等性集合149
15.2.6 小集合之集合151
15.2.7 良序153
15.2.8 一般树156
15.3 子集合158
15.3.1 子集合一般理论158
15.3.2 命题常元161
15.4 单型集合162
15.4.1 类型162
15.4.2 类型对集合的定义165
第16章 时序逻辑167
16.1 XYZ系统简介167
16.2 时序逻辑语言XYZ/E的基础部分168
16.2.1 基本概念168
16.2.2 状态转换与单元172
16.2.3 三种不同形式的控制结构178
16.2.4 Horn子句语言XYZ/PE0183
16.2.5 指针186
16.3 时序逻辑语言XYZ/E的基层模块188
16.3.1 程序框架188
16.3.2 过程与函数191
16.3.3 包块195
16.4 时序逻辑语言XYZ/E的并发成分196
16.4.1 进程与并行语句196
16.4.2 通信198