需求驅(qū)動的可信軟件過程

　　本書主要介紹需求驅(qū)動的可信軟件過程建模及管理方法。首先，系統(tǒng)地論述可信軟件與軟件過程領(lǐng)域的相關(guān)研究與實(shí)踐背景，分析可信軟件與軟件過程的關(guān)系。在通過可信軟件需求獲取過程策略的基礎(chǔ)上，提出面向方面的可信軟件過程建模，建模的主要目的是建立可信軟件過程的抽象模型，通過對該抽象模型的分析有助于更好地理解正在實(shí)施或者將要實(shí)施的可信軟件過程，同時，可執(zhí)行的可信軟件過程模型可以直接指導(dǎo)實(shí)際可信軟件生產(chǎn)活動，進(jìn)而規(guī)范軟件開發(fā)行為，保證可信軟件的可信性得以滿足。最后，從過程模型切入，進(jìn)一步關(guān)注過程績效，建立“認(rèn)識過程，建立過程，運(yùn)作過程，優(yōu)化過程”的體系，對可信軟件過程提出管理方法，解決過程可信性度量、過程改進(jìn)、過程運(yùn)行實(shí)例動態(tài)可信演化以及可信風(fēng)險(xiǎn)管理問題，力圖全面地給出一個需求驅(qū)動、面向軟件過程的可信軟件開發(fā)及演化解決方案。同時，全書系統(tǒng)地介紹可信軟件需求與可信軟件過程領(lǐng)域研究的經(jīng)典理論和**進(jìn)展，也為軟件工業(yè)界了解本領(lǐng)域相關(guān)方法學(xué)提供參考。

暫缺《需求驅(qū)動的可信軟件過程》作者簡介