可信软件与开发方法PDF电子书下载

第1章 绪论 1

1.1 研究背景 1

1.2 研究的意义 2

1.3 国内外研究现状及发展动态分析 3

1.4 本书的研究工作及现状分析 4

第2章 相关技术理论 8

2.1 形式化方法理论 8

2.1.1 形式规约 8

2.1.2 形式验证 8

2.2 B方法及相关技术简介 9

2.2.1 基本概念 11

2.2.2 广义代换和B抽象机 14

2.2.3 精化 17

2.2.4 B方法的优越性 19

2.3 UML统一建模语言 20

2.3.1 统一建模语言介绍 20

2.3.2 UML的内容及建模机制 21

2.3.3 类 21

2.3.4 关联 22

2.3.5 泛化 22

2.3.6 UML主要存在的问题与不足 23

2.4 依赖性分析理论 23

2.4.1 程序流图 23

2.4.2 控制依赖 25

2.4.3 数据依赖 25

2.4.4 程序依赖图 26

2.4.5 系统依赖图 27

2.5 程序切片技术 28

2.5.1 切片的定义 28

2.5.2 切片技术的分类 29

2.5.3 程序切片准则 31

2.6 本章小结 31

第3章 形式化B方法的软件开发 32

3.1 用B方法开发软件系统的过程 32

3.1.1 初始规范说明的开发 34

3.1.2 设计／精化 35

3.1.3 生成可执行代码 35

3.2 B方法使用的工具 36

3.2.1 ProB工具介绍 36

3.2.2 Atelier B的用法 37

3.2.3 抽象机实例 40

3.3 基于B方法的软件需求形式化过程 46

3.3.1 软件模型的实现过程 48

3.3.2 软件需求的形式化模型 48

3.3.3 软件需求的原型模型的实现 49

3.4 本章小结 56

第4章 形式化B方法与UML转换方法 57

4.1 UML和B方法概述 57

4.2 UML类图到B方法形式规约的转换 58

4.2.1 UML类图模型映射到B机器系统的基本方法和过程 59

4.2.2 类 63

4.2.3 操作 64

4.2.4 关联 64

4.2.5 泛化 65

4.2.6 类图 66

4.3 UML状态机到B模型的转换 68

4.3.1 UML状态机 68

4.3.2 B方法和B模型 69

4.3.3 UM状态图模型到B模型的具体的转换 75

4.4 UML活动图到B形式化规约的转换 78

4.5 UML顺序图到B形式化规约的转换 78

4.5.1 顺序图简介 78

4.5.2 UML中顺序图的B方法描述 79

4.5.3 举例 80

4.6 UML用例图到B的形式化转换 81

4.6.1 参与者 81

4.6.2 关系 82

4.6.3 用例 82

4.6.4 用例图 83

4.6.5 系统 84

4.7 OCL数据类型到B形式化规约的转换 84

4.7.1 OCL语言与B方法介绍 85

4.7.2 基本类型及转换 86

4.8 本章小结 89

第5章 基于B技术的软件体系结构方法 90

5.1 软件体系结构定义 91

5.2 软件体系结构描述语言 92

5.3 软件体系结构的形式化描述 92

5.4 面向对象软件体系结构的形式化模型 93

5.4.1 基于形式化的面向对象软件开发过程 94

5.4.2 UML和B结合的软件体系结构求精方法 94

5.5 本章小结 97

第6章 实例分析 98

6.1 系统描述 98

6.2 系统的UML模型图 98

6.2.1 系统UML类图 98

6.2.2 电梯系统状态图 99

6.3 电梯系统的UML类图的B形式化规约 100

6.3.1 电梯的B形式化规约 100

6.3.2 电梯门的B形式化规约 102

6.3.3 电梯按钮和楼层按钮 102

6.3.4 电梯系统 104

6.4 系统形式规约验证 105

6.5 本章小结 108

第7章 软件过程改进及软件过程集成 109

7.1 研究背景与意义 109

7.2 研究动机和目的 110

7.3 软件过程改进相关概念 112

7.4 软件过程改进研究热点及问题 113

7.4.1 CMM概念及基本思想 113

7.4.2 CMM／CMMI实施意义 115

7.5 集成产品开发IPD体系概述 116

7.5.1 IPD的基本概念 116

7.5.2 IPD管理体系框架 117

7.5.3 IPD流程管理 119

7.6 软件开发平台化理论 125

7.6.1 软件开发平台化的提出 125

7.6.2 软件开发平台趋势 126

第8章 软件快速开发平台设计 128

8.1 开发平台分层结构设计 128

8.2 快速开发平台实现框架 129

8.3 Ajax与富客户端UI技术 131

8.4 基于SOA随需应变技术 133

8.5 移动应用快速开发技术 133

8.6 快速开发工具集成 134

8.6.1 代码自动构造器 134

8.6.2 UI模板库复用 135

8.7 本章小结 136

第9章 过程模型在平台上实现的关键技术 137

9.1 软件过程建模需求 137

9.2 工作流管理系统概述 138

9.3 软件过程流程建模技术 139

9.4 可视化软件过程建模环境 141

9.5 流程执行监控及控制 141

9.6 软件过程协同实现 142

9.7 本章小结 143

主要参考文献 144

索引 149