由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版新书]系统工程中的验证和确认Tim Weilkiens|译者:江洋溢978
¥ ×1
第1章绪论
11验证和确认问题语句
12系统工程
13系统工程标准
14模型驱动架构
15系统工程建模语言
151统一建模语言
152系统建模语言
153功能模块集成定义方法
16本书组织结构
第2章架构框架、模型驱动架构与仿真
21架构框架
211Zachman框架
212开放组架构框架
213DoD架构框架
214英国国防部架构框架
215用于DoDAF/MoDAF的UML概要文件
22AP233数据交换标准
23可执行架构或从设计到仿真
231为什么是可执行架构
232建模和仿真作为可执行架构的使能器
24关于SE和SysML的DoDAF
25小结
第3章统一建模语言
31UML的历史
32UML图
321类图
322组件图
323组合结构图
324部署图
325对象图
326包图
327活动图
328活动图执行
329用例图
3210状态机图
3211序列图
3212通信图
3213交互概览图
3214时序图
33UML概要分析机制
34小结
第4章系统建模语言
41SysML历史
42UML与SysML的关系
43SysML图
431块定义图
432内部块图
433包图
434参数图
435需求图
436活动图
437状态机图
438用例图
439序列图
44小结
第5章验证、确认和认证
51验证和确认技术概述
511检查
512测试
513仿真
514引用模型等价性检验
515定理证明
52面向对象设计的验证技术
521设计透视图
522软件工程技术
523形式化验证技术
524程序分析技术
53系统工程设计模型的验证和确认
54工具支持
541形式化验证环境
542静态分析器
55小结
第6章用于协同验证和确认的自动化方法
61协同验证和确认方法论
62系统工程专用验证和确认方法
621系统设计模型的自动形式化验证
622行为设计模型的程序分析
623软件工程定量技术
63概率行为评估
64既定结果
65验证和确认工具
66小结
第7章系统工程背景下的软件工程量度
71量度指标概述
711Chidamber和Kemerer量度
712面向对象设计的量度
713Li和Henry量度
714Lorenz和Kidd量度
715Robert Martin量度
716Bansiya和Davis量度
717Briand等量度
72质量属性
73软件量度计算
731抽象性(A)
732不稳定性(I)
733到主序列的距离
734类职责
735类属关系型内聚度
736继承树深度
737子类数
738对象类之间的耦合
739方法数
7310属性数
7311附加方法数
7312重写方法数
7313继承方法数
7314专门化指数
7315公共方法比
74案例研究
75小结
第8章UML行为图的验证和确认
81配置迁移系统
82配置迁移系统的模型检测
83使用CTL的属性规范
84配置迁移系统程序分析
85UML状态机图的验证和确认
851语义模型推导
852案例研究
853程序分析的应用
86UML序列图的验证和确认
861语义模型推导
862序列图案例分析
87UML活动图的验证和确认
871语义模型推导
872活动图案例分析
88小结
第9章SysML活动图的概率模型检测
ⅩⅩ91概率验证方法
92转译成PRISM
93PCTL*属性规范
94案例研究
95小结
第10章带时间约束的SysML活动图的性能分析
101时间注释
102语义模型的推导
103模型检测时间约束活动图
1031离散时间马尔可夫链
1032PRISM输入语言
1033将SysML活动图映射到DTMC
1034线程标识
104绩效分析案例研究
105可伸缩性
106小结
第11章SysML活动图的语义基础
111活动演算
1111语法
1112操作语义
112案例研究
113马尔可夫决策过程
114小结
第12章转译算法的合理性
121符号
122方法论
123PRISM输入语言的形式化
1231语法
1232操作语义
124形式化转译
125案例研究
126马尔可夫决策过程的仿真预序
127转译算法的合理性
128小结
第13章结论
缩略语
参考文献
江洋溢空军研究院系统工程所研究员。在学术期刊及学术会议发表过论文几十篇。主持并参与了多项重大课题项目。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
