基于环境的软件近似正确性

暂缺《基于环境的软件近似正确性》作者简介

马艳芳编*的《基于环境的软件近似正确性》基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒 *环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论，建立了近似的参数化互模拟和近似的三分之二互模拟理论。为描述带有概率信息软件系统的近似正确性，建立了概率化参数互模拟及确定性概率进程近似互模拟的无限演化及其拓扑结构。