基于環(huán)境的軟件近似正確性

定　價：￥24.00

作　者：	馬艷芳編
出版社：	中國科學(xué)技術(shù)大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	計算機(jī)/網(wǎng)絡(luò) 軟件工程/開發(fā)項(xiàng)目管理

購買這本書可以去

ISBN：	9787312041020	出版時間：	2017-01-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　馬艷芳編*的《基于環(huán)境的軟件近似正確性》基于進(jìn)程代數(shù)理論中的通信系統(tǒng)演算（CCS）模型對軟件的近似正確性進(jìn)行了形式化描述和度量。從接受和拒 *環(huán)境角度，以參數(shù)化互模擬和三分之二互模擬為基礎(chǔ)，建立了參數(shù)化互模擬和三分之二互模擬的無限演化理論及拓?fù)淅碚?，建立了近似的參?shù)化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件系統(tǒng)的近似正確性，建立了概率化參數(shù)互模擬及確定性概率進(jìn)程近似互模擬的無限演化及其拓?fù)浣Y(jié)構(gòu)。