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

定　價(jià)：￥69.00

作　者：	崔夢(mèng)天，趙翠新，王玉紅
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書(shū)可以去

ISBN：	9787030493002	出版時(shí)間：	2016-07-01	包裝：
開(kāi)本：	32開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(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ā)的需要。