冯玉琳 李建中 魏峻 王伟平 钱军 李京 黄涛

滑动窗口 位置 对象精化 对象系统 交互协议 资源域 institution 交互 Ω-理论 数据流 组件 互操作 移动Agent 结构化对象演算 连续查询 压缩 形式分析 资源 对象序列图 模型检查 形式化语言

中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所对象技术中心 中国科学院软件研究所对象技术中心北京 哈尔滨工业大学计算机科学与工程系