黄涛 姜洪安 丁茂顺 桂自强 赵旭东 李京 李洋 郭端阳 范国闯 魏峻 王太权 王栩 金蓓弘 倪彬 刘绍华 钟华 张波 左林 朱寰 刘国梁 董伟川 林世彪 丁柯 钱军 易章雄 胡建华 周桓

恢复 缓存验证算法 基于角色访问控制 良构性 微内核 数据序列 形式规范 时序逻辑 系统模型开发 不动点特征 松弛原子性 计算法则 软件体系结构 组合构造模型 延迟求值 Kripke语义 组件容器 层次关系 服务质量 应用框架 程序正确性 线性时序逻辑 行为约束 延迟计算 组件迁移约束 可重配置 数据收集 Web计算 继承 组合失配

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