|
關(guān)于我們
 書單推薦 新書推薦 |
復(fù)雜軟件系統(tǒng)可信性分析與驗(yàn)證方法 
定 價(jià)：48 元
9 7 2 8 8 7 2 5 9 6 7 1 7 讀者對(duì)象:本書面向軟件工程、軟件可信性方向的研究人員, 軟件工程方向的高年級(jí)研究生, 和工業(yè)界對(duì)軟件產(chǎn)品高可靠性有要求的技術(shù)人員
本書以開放網(wǎng)絡(luò)環(huán)境下復(fù)雜軟件的可信性需求為背景, 系統(tǒng)的研究和論述復(fù)雜軟件系統(tǒng)的可信性分析與驗(yàn)證的關(guān)鍵性理論和技術(shù)問題。重點(diǎn)論述了復(fù)雜軟件系統(tǒng)及其組合可信性質(zhì)評(píng)價(jià)方法、軟件系統(tǒng)過程建模與驗(yàn)證、軟件系統(tǒng)過程可信性質(zhì)建模與分析、組合軟件多維可信可信性保障方法等問題。并結(jié)合航空電子軟件系統(tǒng)探討了相關(guān)方法的實(shí)際應(yīng)用。
你還可能感興趣
我要評(píng)論
|
