內容簡介
馬艷芳編*的《基於環境的軟件近似正確性》基於進程代數理論中的通信繫統演算(CCS)模型對軟件的近似正確性進行了形式化描述和度量。從接受和拒
*環境角度,以參數化互模擬和三分之二互模擬為基礎,建立了參數化互模擬和三分之二互模擬的無限演化理論及拓撲理論,建立了近似的參數化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件繫統的近似正確性,建立了概率化參數互模擬及確定性概率進程近似互模擬的無限演化及其拓撲結構。
*環境角度,以參數化互模擬和三分之二互模擬為基礎,建立了參數化互模擬和三分之二互模擬的無限演化理論及拓撲理論,建立了近似的參數化互模擬和近似的三分之二互模擬理論。為描述帶有概率信息軟件繫統的近似正確性,建立了概率化參數互模擬及確定性概率進程近似互模擬的無限演化及其拓撲結構。