本書從復(fù)雜信息系統(tǒng)自適應(yīng)邏輯建模與驗證、自適應(yīng)時間特性建模與分析、自適應(yīng)行為不確定性建模與決策三個方面著手，系統(tǒng)全面地介紹了面向復(fù)雜信息系統(tǒng)的自適應(yīng)軟件建模與可靠性驗證分析相關(guān)的技術(shù)、理論和方法。全書共6章，其中，第1章重點介紹了自適應(yīng)軟件建模與驗證相關(guān)的基礎(chǔ)知識，包括自適應(yīng)軟件基本概念、基本術(shù)語；第2章重點介紹了復(fù)雜信息系統(tǒng)自適應(yīng)邏輯建模與驗證技術(shù)，包括可視化建模、模型轉(zhuǎn)換、形式化建模與驗證等；第3章重點介紹了復(fù)雜信息系統(tǒng)自適應(yīng)時間特性建模與分析，包括時間特性定義、建模與形式化驗證分析等；第4章重點介紹了復(fù)雜信息系統(tǒng)自適應(yīng)行為不確定性建模與決策，包括不確定性建模、基于不確定性的自適應(yīng)決策等；第5章重點介紹自適應(yīng)軟件建模與驗證支撐工具開發(fā)方法；第6章介紹了自適應(yīng)軟件建模與驗證方法的案例應(yīng)用。

　　韓德帥，火箭軍工程大學(xué)講師，長期從事國防工程智能化理論與技術(shù)、復(fù)雜信息系統(tǒng)建模、軟件自適應(yīng)等方向的研究工作，以第一作者發(fā)表SCI、EI檢索論文10余篇，現(xiàn)主持陜西省自然科學(xué)基金1項。