安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件保证举证方法及其应用/主编曾福萍

出版发行项:

北京:人民邮电出版社,2024.04

ISBN及定价:

978-7-115-62472-7/CNY89.80

载体形态项:

279页, [4] 页图版:图;24cm

并列正题名:

Software assurance case methods and applications

个人责任者:

曾福萍 主编

学科主题:

软件开发-安全技术

中图法分类号:

TP311.522

一般附注:

工信学术出版基金

书目附注:

有书目

提要文摘附注:

本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法一一软件保证举证。本书共6章, 首先概述了软件保证举证的相关知识, 接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例, 最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。

豆瓣简介：