图文详情

系统工程中的验证和确认

系统工程中的验证和确认：评估UML/SYSML设计模型

TimWeilkiens著江洋溢译 / 国防工业出版社 / 2025-06 / 平装

售价 38.40 3.0折

定价￥128.00

品相全新

优惠

发货

承诺48小时内发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2026-09-30

数量: 仅1件在售，欲购从速

立即购买加入购物车收藏

卖家超过10天未登录

五年老店

俊乐宝书屋

店铺等级

资质认证

90天平均

成功完成

95.22% (1311笔)

好评率

99.95%

发货时间

7.16小时

店主

俊乐宝

联系

在线交谈离线留言

地址

河北省保定市涿州市

电话

联系卖家

进店逛逛收藏店铺

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

图书条目信息
图书 > 自然科学
系统工程中的验证和确认
作者: TimWeilkiens著江洋溢译

出版社: 国防工业出版社

出版时间: 2025-06

版次: 1

ISBN: 9787118136555

定价: 128.00

装帧: 平装

开本: 其他

页数: 248页

字数: 265千字
作者简介：

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

目录：

br/>第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章结论
缩略语
参考文献

内容摘要
本书主要内容：介绍了验证和确认问题、系统工程、各种相关标准、建模语言以及模型驱动架构（MDA）概念；讨论了国防组织采用和扩展的架构框架的范式，它们也作为企业架构框架被应用于商业领域；回顾了UML 2.0模型语言诞生的历史背景；展示了最新的SysML建模语言，列出了其得到应用的时间顺序，并比较了SysML和UML之间的共同点和具体差异；描述了验证、确认和认证的概念；展示了软件工程度量在评估由UML类和包图捕获的结构系统方面的相关性和实用性等。

展开全部
货号：

A1818

配送说明

...
相似商品
为你推荐

孔网分类

孔网特色

外文古旧书(1)

图书

特色

图书

系统工程中的验证和确认

孔网啦啦啦啦啦纺织女工火锅店第三课