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

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

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