返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新正版需求驱动的可信软件过程9787030534385科学出版社
    • 作者: 张璇,王旭著著 | 张璇,王旭著编 | 张璇,王旭著译 | 张璇,王旭著绘
    • 出版社: 科学出版社
    • 出版时间:2016-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 张璇,王旭著著| 张璇,王旭著编| 张璇,王旭著译| 张璇,王旭著绘
    • 出版社:科学出版社
    • 出版时间:2016-01
    • 版次:1
    • 印刷时间:2017-11-01
    • 字数:400千字
    • 页数:302
    • 开本:小16开
    • ISBN:9787030534385
    • 版权提供:科学出版社
    • 作者:张璇,王旭著
    • 著:张璇,王旭著
    • 装帧:平装
    • 印次:暂无
    • 定价:108.00
    • ISBN:9787030534385
    • 出版社:科学出版社
    • 开本:小16开
    • 印刷时间:2017-11-01
    • 语种:中文
    • 出版时间:2016-01
    • 页数:302
    • 外部编号:9087663
    • 版次:1
    • 成品尺寸:暂无

    前言

    章 可信软件与软件过程 1

    1.1 软件的可信需求 1

    1.1.1 可信软件 2

    1.1.2 可信软件需求 3

    1.2 可信软件与软件过程 4

    1.2.1 软件过程 4

    1.2.2 可信软件与软件过程 6

    1.3 本书结构 8

    参考文献 9

    第2章 可信软件需求获取与建模 12

    2.1 软件需求工程 13

    2.1.1 软件需求工程过程 14

    2.1.2 软件需求建模 15

    2.2 可信软件分领域需求 18

    2.2.1 可信软件需求领域统计方法 18

    2.2.2 可信软件需求领域统计结果 19

    . 可信软件需求定义与获取 35

    ..1 可信软件需求定义 35

    ..2 可信软件非功能需求获取 40

    2.4 可信软件早期需求建模 50

    2.4.1 可信软件需求元模型 51

    2.4.2 非功能需求本体知识库 55

    2.5 案例研究 63

    2.5.1 可信第三方认中心软件SIS 63

    2.5.2 航天软件 65

    2.6 小结 69

    参考文献 69

    第3章 可信软件需求推理与权衡 73

    3.1 可信软件非功能需求交互关系 74

    3.1.1 软件非功能需求的交互 74

    3.1.2 非功能需求推理与权衡 76

    3.2 可信软件早期需求推理 78

    3.2.1 可信软件需求的可满足问题 78

    3.2.2 可信软件需求的SAT 公式 83

    3.. 推理的可靠和完备 86

    3.2.4 可信软件需求的可满足问题求解 88

    3.3 非功能需求权衡 92

    3.3.1 非功能需求权衡 92

    3.3.2 权衡代价分析 93

    3.4 案例研究 100

    3.4.1 SIS软件需求推理 100

    3.4.2 SIS软件需求权衡 104

    3.5 小结 108

    参考文献 109

    第4章 面向方面可信软件过程建模框架 113

    4.1 可信软件过程建模基础 115

    4.1.1 Petri网 115

    4.1.2 软件演化过程建模方法 117

    4.1.3 面向方面建模 121

    4.2 面向方面扩展软件过程建模方法 124

    4.3 可信软件过程元模型 128

    4.4 可信软件过程建模框架 133

    4.5 可信方面编织分析 136

    4.5.1 可信方面间编织分析 136

    4.5.2 可信方面织入基本模型分析 137

    4.6 可信方面编织控制 138

    4.6.1 可信方面间编织控制 138

    4.6.2 可信方面织入基本过程控制 139

    4.7 可信过程方面织入检测 145

    4.7.1 面向方面的检测方法 146

    4.7.2 检测方面 147

    4.8 小结 150

    参考文献 150

    第5章 可信方面编织方法 153

    5.1 可信方面间融合 154

    5.1.1 可信过程方面间融合 154

    5.1.2 可信任务方面间融合 160

    5.2 可信过程方面织入 162

    5.2.1 条件织入 162

    5.2.2 活动织入 164

    5.. 弧织入 170

    5.3 结构保持 172

    5.4 质保持 175

    5.5 行为一致 183

    5.6 可信任务方面织入 187

    5.7 可信方面间编织完整及正确 189

    5.8 小结 194

    参考文献 194

    第6章 可信软件过程建模 195

    6.1 面向方面可信软件过程建模 196

    6.1.1 活动层建模 197

    6.1.2 任务层和过程层建模 198

    6.1.3 全局层建模 201

    6.2 可信方面追踪 202

    6.2.1 可信方面追踪原则 202

    6.2.2 可信方面织入一致追踪 203

    6.3 案例研究 206

    6.3.1 可信第三方认中心软件SIS 207

    6.3.2 航天软件 211

    6.3.3 面向方面业务过程建模 217

    6.4 小结 227

    参考文献 228

    第7章 可信软件过程管理 229

    7.1 软件过程可信度量 0

    7.1.1 可靠度量 4

    7.1.2 安全度量 246

    7.1.3 易用度量 257

    7.2 软件过程改进 269

    7.2.1 面向方面过程改进方法 271

    7.2.2 软件过程改进案例 272

    7.3 软件过程动态可信演化 274

    7.3.1 过程运行实例的动态可信演化 278

    7.3.2 可信过程片段迁移 281

    7.3.3 演化异常处理 283

    7.3.4 软件过程动态演化案例 286

    7.4 可信风险评估与控制 288

    7.4.1 风险管理基础 289

    7.4.2 可信软件过程风险评估 290

    7.4.3 可信软件过程风险控制 295

    7.5 小结 298

    参考文献 299

    全书包含七章,靠前章讨论可信软件提出的背景,学术界与工业界对可信软件和可信软件需求的定义,软件过程概念及软件过程与可信软件的关系。基于靠前章的基本介绍,剩余章节按其内容分为三个部分:第二章和第三章组成靠前部分,介绍可信软件需求,包含可信软件需求定义,可信软件需求之间的相关、优先、权衡关系、消解以及完整表示;第四章至第六章为第二部分,介绍可信软件过程建模,基于可信软件需求研究成果,提出面向方面可信软件过程建模方法;第七章是第三部分,对可信软件过程管理提出过程度量、改进、演化和风险管理方法,完善建立在过程观基础上的管理体系。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购