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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 正版新书]系统工程中的验证和确认Tim Weilkiens|译者:江洋溢978
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: Tim Weilkiens|译者:江洋溢著 | Tim Weilkiens|译者:江洋溢编 | Tim Weilkiens|译者:江洋溢译 | Tim Weilkiens|译者:江洋溢绘
    • 出版社: 国防工业音像出版社
    • 出版时间:2025-06-03
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: Tim Weilkiens|译者:江洋溢著| Tim Weilkiens|译者:江洋溢编| Tim Weilkiens|译者:江洋溢译| Tim Weilkiens|译者:江洋溢绘
    • 出版社:国防工业音像出版社
    • 出版时间:2025-06-03
    • 版次:1
    • 印次:1
    • 印刷时间:2025-06-19
    • 页数:248
    • ISBN:9787118136555
    • 版权提供:国防工业音像出版社
  • 作者: Tim Weilkiens|译者:江洋溢
  • 著: Tim Weilkiens|译者:江洋溢
  • 装帧: 暂无
  • 印次: 1
  • 定价: 128
  • ISBN: 9787118136555
  • 出版社: 国防工业
  • 开本: 暂无
  • 印刷时间: 2025-06-19
  • 语种: 暂无
  • 出版时间: 2025-06-03
  • 页数: 248
  • 外部编号: 党庄A9596
  • 版次: 1
  • 成品尺寸: 暂无
  • 第1章绪论
    11验证和确认问题语句
    12系统工程
    13系统工程标准
    14模型驱动架构
    15系统工程建模语言
    151统一建模语言
    152系统建模语言
    153功能模块集成定义方法
    16本书组织结构
    第2章架构框架、模型驱动架构与仿真
    21架构框架
    211Zachman框架
    212开放组架构框架
    213DoD架构框架
    214英国国防部架构框架
    215用于DoDAF/MoDAF的UML概要文件
    22AP233数据交换标准
    23可执行架构或从设计到仿真
    231为什么是可执行架构
    232建模和仿真作为可执行架构的使能器
    24关于SE和SysML的DoDAF
    25小结
    第3章统一建模语言
    31UML的历史
    32UML图
    321类图
    322组件图
    323组合结构图
    324部署图
    325对象图
    326包图
    327活动图
    328活动图执行
    329用例图
    3210状态机图
    3211序列图
    3212通信图
    3213交互概览图
    3214时序图
    33UML概要分析机制
    34小结
    第4章系统建模语言
    41SysML历史
    42UML与SysML的关系
    43SysML图
    431块定义图
    432内部块图
    433包图
    434参数图
    435需求图
    436活动图
    437状态机图
    438用例图
    439序列图
    44小结
    第5章验证、确认和认证
    51验证和确认技术概述
    511检查
    512测试
    513仿真
    514引用模型等价性检验
    515定理证明
    52面向对象设计的验证技术
    521设计透视图
    522软件工程技术
    523形式化验证技术
    524程序分析技术
    53系统工程设计模型的验证和确认
    54工具支持
    541形式化验证环境
    542静态分析器
    55小结
    第6章用于协同验证和确认的自动化方法
    61协同验证和确认方法论
    62系统工程专用验证和确认方法
    621系统设计模型的自动形式化验证
    622行为设计模型的程序分析
    623软件工程定量技术
    63概率行为评估
    64既定结果
    65验证和确认工具
    66小结
    第7章系统工程背景下的软件工程量度
    71量度指标概述
    711Chidamber和Kemerer量度
    712面向对象设计的量度
    713Li和Henry量度
    714Lorenz和Kidd量度
    715Robert Martin量度
    716Bansiya和Davis量度
    717Briand等量度
    72质量属性
    73软件量度计算
    731抽象性(A)
    732不稳定性(I)
    733到主序列的距离
    734类职责
    735类属关系型内聚度
    736继承树深度
    737子类数
    738对象类之间的耦合
    739方法数
    7310属性数
    7311附加方法数
    7312重写方法数
    7313继承方法数
    7314专门化指数
    7315公共方法比
    74案例研究
    75小结
    第8章UML行为图的验证和确认
    81配置迁移系统
    82配置迁移系统的模型检测
    83使用CTL的属性规范
    84配置迁移系统程序分析
    85UML状态机图的验证和确认
    851语义模型推导
    852案例研究
    853程序分析的应用
    86UML序列图的验证和确认
    861语义模型推导
    862序列图案例分析
    87UML活动图的验证和确认
    871语义模型推导
    872活动图案例分析
    88小结
    第9章SysML活动图的概率模型检测
    ⅩⅩ91概率验证方法
    92转译成PRISM
    93PCTL*属性规范
    94案例研究
    95小结
    第10章带时间约束的SysML活动图的性能分析
    101时间注释
    102语义模型的推导
    103模型检测时间约束活动图
    1031离散时间马尔可夫链
    1032PRISM输入语言
    1033将SysML活动图映射到DTMC
    1034线程标识
    104绩效分析案例研究
    105可伸缩性
    106小结
    第11章SysML活动图的语义基础
    111活动演算
    1111语法
    1112操作语义
    112案例研究
    113马尔可夫决策过程
    114小结
    第12章转译算法的合理性
    121符号
    122方法论
    123PRISM输入语言的形式化
    1231语法
    1232操作语义
    124形式化转译
    125案例研究
    126马尔可夫决策过程的仿真预序
    127转译算法的合理性
    128小结
    第13章结论
    缩略语
    参考文献

    江洋溢空军研究院系统工程所研究员。在学术期刊及学术会议发表过论文几十篇。主持并参与了多项重大课题项目。

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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