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

定　价：¥24.00

作　者：	马艳芳编
出版社：	中国科学技术大学出版社
丛编项：
标　签：	计算机/网络软件工程/开发项目管理

购买这本书可以去

ISBN：	9787312041020	出版时间：	2017-01-01	包装：	平装-胶订
开本：	16开	页数：		字数：

内容简介

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