钱军 李京 冯玉琳 魏峻 黄涛

断连 公理化 组件 对象演算 组件关系 形式方法 对象语义描述 缓存验证算法

中国科学院软件研究所对象技术中心 中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所软件工程技术中心北京 中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所软件工程技术研究开发...