-
软件保证举证方法及其应用
¥63.8(7.1折)定价:¥89.8本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章,首先概述了软件保证举证的相关知识,接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例,最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读,也可作为高等院校质量