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

定　價：￥24.00

作　者：	馬艷芳編
出版社：	中國科學技術大學出版社
叢編項：
標　簽：	計算機/網絡軟件工程/開發(fā)項目管理

購買這本書可以去

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

內容簡介

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