久99热,91看片入口网址

內(nèi)容簡介

　　《軟件安全性需求形式化建模和驗證》基于軟件安全性領(lǐng)域內(nèi)的非常不錯標準和手冊，將形式化理論和方法應(yīng)用于軟件安全性需求建模和驗證工作中，以一個前后完整的需求建模和驗證工作過程來體現(xiàn)形式化理論和方法對軟件安全性需求建模和驗證的支持能力，詳細介紹了軟件安全性需求的工作過程，以及形式化方法對軟件安全性需求過程的支持方法。

作者簡介

暫缺《軟件安全性需求形式化建模和驗證》作者簡介

圖書目錄

●章緒論
1.1研究工作的意義
1.2國內(nèi)外相關(guān)研究現(xiàn)狀
1.2.1軟件安全性概況
1.2.2軟件安全性需求建模
1.2.3軟件安全性需求驗證
1.2.4自動化工具
1.2.5小結(jié)
1.3研究內(nèi)容與創(chuàng)新
1.4結(jié)構(gòu)框架
1.5本章小結(jié)
第2章基本概念和方法
2.1軟件安全性
2.1.1軟件安全性定義
2.1.2軟件安全性需求定義
2.2形式化方法
2.2.1概述
2.1.2本體
2.1.3Petri網(wǎng)
2.2.4模型檢驗
2.2.5分析和說明
2.3本章小結(jié)
……