潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

279页;24cm

并列正题名:

Software assurance case methods and applications

个人责任者:

曾福萍 主编

学科主题:

软件开发-安全技术

中图法分类号:

TP311.522

一般附注:

工信学术出版基金

提要文摘附注:

本书共六章，首先概述了软件保证举证的相关知识，接着介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。

使用对象附注:

本书适用于从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员

豆瓣简介：