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

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

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