可信软件基础研究
全新正版 极速发货
¥
41.9
6.2折
¥
68
全新
库存4件
作者可信软件基础研究项目组 著
出版社浙江大学出版社
ISBN9787308188715
出版时间2019-04
装帧平装
开本16开
定价68元
货号1201857351
上书时间2024-06-10
商品详情
- 品相描述:全新
- 商品描述
-
商品简介
本书系自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题,从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究,取得了重要成果和进展。
目录
●章 项目概况
● 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 深入研究的设想和建议
●参考文献
●成果附录
— 没有更多了 —
以下为对购买帮助不大的评价