图书介绍

软件并行开发过程2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

李彤等著著
出版社：北京：科学出版社
ISBN：7030120078
出版时间：2003
标注页数：184页
文件大小：9MB
文件页数：196页
主题词：软件开发－高等学校－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：ac86eafbd6bf836035ca61dc16f595f8

下载说明

软件并行开发过程PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

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

图书目录

第1章绪论1

1.1 软件并行开发的提出1

1.1.1 传统软件工程面临的问题1

1.1.2 来自制造业的启示1

1.1.3 来自其他领域的启示4

1.2 软件并行开发研究的现状5

1.3 软件并行开发研究的内容及意义7

1.3.1 研究内容7

1.3.2 意义9

1.4 软件并行开发支持工具9

1.4.1 CASE系统9

1.4.2 第四代语言10

1.5 Petri网简介11

1.6 软件并行开发与CMMI15

参考文献21

第2章软件过程23

2.1 软件并行开发的软件生存周期模型23

2.1.1 传统的软件生存周期模型23

2.1.2 并发开发模型25

2.1.3 软件并行开发的软件生存周期模型26

2.2 软件过程中的并行性28

2.2.1 软件过程与软件过程模型28

2.2.2 软件生存周期中的并行性分析30

2.2.3 软件过程模型33

2.2.4 一个SDDM模型的实例37

2.2.5 SDDML语言39

2.2.6 基于SDDML的过程建模方法45

2.2.7 软件开发过程的进化46

2.3 软件并行开发中的应用技术49

2.4.1 人员53

2.4 软件并行开发的项目管理53

2.4.2 问题55

2.4.3 过程57

2.5 软件并行开发过程对CMMI过程域的支持59

参考文献61

第3章软件并行开发成分划分63

3.1 划分准则和约束63

3.2 基于Petri网的系统划分67

3.2.1 系统模型和增强型关系67

3.2.2 系统划分方法69

3.3 基于脚本的系统划分73

3.3.1 基于脚本的需求模型73

3.3.2 基于脚本的系统划分80

3.4 并行性挖掘88

3.4.1 活动间相关性分析88

3.4.2 软件过程模型的构造90

3.5 并行性延拓92

3.5.1 活动内并行性挖掘92

3.5.2 划分块之间的相关关系判别94

3.5.3 并行性延拓96

3.6 并行性挖掘与延拓示例98

3.7 并行成分划分技术在CMMI过程域中的作用99

参考文献100

第4章软件过程并行控制103

4.1 并行控制的必要性103

4.2 并行控制模型104

4.2.1 基于Petri网的并行控制模型CCM104

4.2.2 基元块105

4.2.3 CCM模型的建立106

4.2.4 一个CCM的例子110

4.3 计算机辅助并行控制110

4.3.1 CCML语言111

4.3.2 基于CCM模型的计算机辅助并行控制114

4.4 基于C-P/T网的软件并行开发控制模型114

4.4.1 C-P/T控制网114

4.4.2 超类和并行控制115

4.4.3 消息传递与对象合作116

4.4.4 C-P/T并行控制网的产生118

4.5 基于开发管程的并行控制121

4.6 并行控制模型对CMMI过程域的支持124

参考文献125

第5章软件测试过程127

5.1 软件测试的原则和策略127

5.2 软件测试过程模型130

5.3 并行进行的单元测试130

5.3.1 基本单元测试方法131

5.3.2 FREE方法132

5.3.3 基于Petri网的单元测试134

5.4 集成测试136

5.4.1 基本集成测试方法136

5.4.2 FREE方法137

5.4.3 基于Petri网的集成测试138

5.5 软件测试过程对CMMI过程域的支持139

参考文献140

第6章计算机辅助软件并行开发142

6.1 CASCD系统结构142

6.1.1 软件并行开发对CASCD的要求142

6.1.2 系统功能143

6.1.3 系统总体结构144

6.2 过程管理子系统144

6.3 CCML语言与SDDML语言145

6.3.1 系统结构与功能145

6.3.2 模型的存储结构147

6.3.3 模型的可视化150

6.3.4 编译程序151

6.3.5 模型验证152

6.3.6 模型修改153

6.4 配置管理153

6.4.1 配置数据库154

6.4.2 版本控制156

参考文献158

第7章软件开发过程的自动化159

7.1 组合语义功能规约方法159

7.1.1 集成的必要性159

7.1.2 规约的结构160

7.1.3 例子162

7.2.1 设计思想164

7.2 需求规约语言OORSL164

7.2.2 主要语法成分165

7.2.3 一个实例168

7.3 OORSL向Java程序框架的转换170

7.3.1 Java并行程序框架170

7.3.2 转换机制171

7.3.3 翻译器171

7.3.4 语义处理172

7.4 形式化软件功能分解的交互式规则173

7.4.1 功能分解的结构173

7.4.2 交互式分解规则174

7.5 基于知识的形式化软件设计技术178

7.5.1 知识库结构178

7.5.2 系统结构180

7.5.3 设计过程181

参考文献183