中圖網小程序
一鍵登錄
更方便
>
關于“曾福萍”檢索到 共1種現貨商品
-
包郵軟件保證舉證方法及其應用
¥64.8(7.2折)定價:¥89.8本書介紹了ISO/IEC 15026系列標準中的系統和軟件保證方法——軟件保證舉證。全書共6章，首先概述了軟件保證舉證的相關知識，接著詳細介紹了軟件安全性舉證、軟件可靠性舉證、軟件保密性舉證和軟件可信性舉證的基礎知識、舉證框架、論證模式及應用實例，最后給出了基于非形式邏輯理論的軟件保證舉證信心評定方法。 本書適合從事軟件安全性、軟件可靠性、軟件保密性及軟件可信性舉證理論與技術研究的科技人員和實際應用的工程人員閱讀，也可作為高等院校質量
