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

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

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