游客,欢迎访问首都图书馆! 注册 帮助中心 您的建议
基于环境的软件近似正确性
建议阅读终端:
暂无推荐
简介
本书基于进程代数理论中的通信系统演算(CCS)模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度,以参数化互模拟和三分之二互模拟为基础,建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论,建立了近似的参数化互模拟和近似的三分之二互模拟理论。
目录
展开 ∨
评论(0)
评分:
评价:
请输入评论信息
0/255 我要评论
最新上架