扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
可信软件基础研究 版权信息
- ISBN：9787308188715
- 条形码：9787308188715 ; 978-7-308-18871-5
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
可信软件基础研究 本书特色
本书系自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。
可信软件基础研究 内容简介
可信软件基础研究项目组编的《可信软件基础研究》系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。以嵌入式软件和网络应用软件可信性问题为主攻目标，以国家关键应用领域中软件可信性问题为突破口，建立可信软件基础研究的研究框架，研究成果揭示了软件可信性和环境可信性度量与演化的基本规律，构建了可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，建立了可信软件开发工具和运行支撑平台。
可信软件基础研究 目录
●章 项目概况
● 1.1 项目介绍
● 1.2 项目布局
● 1.3 取得的重大进展
●第2章 国内外研究情况
● 2.1 国内外研究现状
● 2.2 发展趋势
● 2.3 领域发展态势
●第3章 重大研究成果
● 3.1 可信网络交易软件系统试验环境与示范应用
● 3.2 多维在线跨语言Calling Network建模及其在可信电子税务软件中的实证应用
● 3.3 面向车联网的可信网络应用软件系统试验环境与示范应用
● 3.4 航天嵌入式软件可信性保障集成环境和示范验证与应用
● 3.5 可信软件理论、方法集成与综合实验平台
●第4章 展望
● 4.1 国内存在的不足和战略需求
● 4.2 深入研究的设想和建议
●参考文献
●成果附录
● 附录1 重要论文目录
●部分目录
● 1.1 项目介绍
● 1.2 项目布局
● 1.3 取得的重大进展
●第2章 国内外研究情况
● 2.1 国内外研究现状
● 2.2 发展趋势
● 2.3 领域发展态势
●第3章 重大研究成果
● 3.1 可信网络交易软件系统试验环境与示范应用
● 3.2 多维在线跨语言Calling Network建模及其在可信电子税务软件中的实证应用
● 3.3 面向车联网的可信网络应用软件系统试验环境与示范应用
● 3.4 航天嵌入式软件可信性保障集成环境和示范验证与应用
● 3.5 可信软件理论、方法集成与综合实验平台
●第4章 展望
● 4.1 国内存在的不足和战略需求
● 4.2 深入研究的设想和建议
●参考文献
●成果附录
● 附录1 重要论文目录
●部分目录
展开全部
书友推荐
- >
山海经
山海经
¥20.4¥68.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥37.1¥48.0 - >
经典常谈
经典常谈
¥25.9¥39.8 - >
二体千字文
二体千字文
¥16.0¥40.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥4.4¥10.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
浏览历史
脑卒中 与时间赛跑
¥30.2¥42.0你不知道的地铁设计
¥34.8¥58.0数智时代下财务BP决策分析与业务建模实战
¥89.7¥118.0云计算工程
¥48.3¥69.0建筑机械操作工
¥13.1¥26.8
