-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
软件可信性度量评估与增强规范 版权信息
- ISBN:9787030625649
- 条形码:9787030625649 ; 978-7-03-062564-9
- 装帧:平装胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>
软件可信性度量评估与增强规范 本书特色
软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域,其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果,深入系统地论述了软件可信性层次化度量模型构建、分级评估体系设计以及增强规范制定等**研究成果。《软件可信性度量评估与增强规范》共分为7章,包括:软件可信性概论、软件可信性层次化模型、基于属性的软件可信性度量模型、面向源代码的软件可信性度量模型与规范、软件可信性量化分级评估方法、软件可信性增强方法、基于出厂报告的软件可信性度量评估与增强规范。
软件可信性度量评估与增强规范 内容简介
本书系统地总结课题组在研发国家重大研究任务所完成科研成果, 介绍软件可信度量及其验证的研究背景和发展现状基础上, 重点介绍软件可信属性量化关系模型、软件可信度量模型的公理化方法与度量结构方法、航天嵌入式软件可信度量与评估体系与可信性增强规范以及基于属性与过程的软件可信度量与评估。
软件可信性度量评估与增强规范 目录
- >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥11.0¥23.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
有舍有得是人生
有舍有得是人生
¥31.5¥45.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
月亮虎
月亮虎
¥17.8¥48.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥15.1¥39.8 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑,闭眼,刀谁?
¥42.3¥158 -
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过?
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条?
¥42.3¥158