📖 书目详情
软件保证举证方法及其应用
| 著者 | 主编曾福萍 |
| ISBN | 9787115624727 |
| 中图分类 | TP311.522 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 人民邮电出版社 |
| 丛书名 | — |
| 出版年 | 2024 |
| 页码 | 279, [4] 图版页 |
| 价格 | ¥89.80 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.6/10
|
📝 内容简介
本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法软件保证举证。全书共6章, 首先概述了软件保证举证的相关知识, 接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例, 最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购