书目详细信息
： 软件保证举证方法及其应用
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-115-62472-7:CNY89.80 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 软件保证举证方法及其应用/.曾福萍主编 |
| 出版发行项： | 北京:,人民邮电出版社:,2024.04 |
| 载体形态项： | 279页:;+图:;+24cm |
| 一般附注： | 工信学术出版基金 |
| 提要文摘： | 本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章,首先概述了软件保证举证的相关知识,接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例,最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 |
| 并列题名： | Software assurance case methods and applications eng |
| 题名主题： | 软件开发 安全技术 |
| 中图分类： | TP311.522 |
| 个人名称等同： | 曾福萍 主编 |
| 记录来源： | CN JCXA 20240910 |