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