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

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

暫缺《基于環(huán)境的軟件近似正確性》作者簡(jiǎn)介