可信軟件與開發(fā)方法

　　本書從軟件實(shí)際開發(fā)過程出發(fā)，將形式化技術(shù)應(yīng)用于每個(gè)開發(fā)階段，系統(tǒng)地介紹了基于B方法完成軟件形式化開發(fā)的模式、過程、技術(shù)和方法，其中包括UML模型圖到B方法形式規(guī)約的比較全面的轉(zhuǎn)換方法，實(shí)現(xiàn)形式規(guī)約的精化過程，形式化B方法的驗(yàn)證技術(shù)，從UML形式化規(guī)約的逐步精化的規(guī)范與方法問題，整個(gè)規(guī)約、精化直到代碼生產(chǎn)階段的模型形式化驗(yàn)證及自動化，基于B方法的面向?qū)ο筌浖w系結(jié)構(gòu)的形式化方法。通過該書的介紹使得學(xué)習(xí)者真正體會到如何應(yīng)用形式化技術(shù)解決實(shí)際軟件開發(fā)技術(shù)問題。基于形式化方法的高可信軟件的開發(fā)基本走出實(shí)驗(yàn)室，滿足高可信軟件開發(fā)的需要。

暫缺《可信軟件與開發(fā)方法》作者簡介