需求驅(qū)動(dòng)的可信軟件過(guò)程

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

暫缺《需求驅(qū)動(dòng)的可信軟件過(guò)程》作者簡(jiǎn)介