龚育昌 韩恺 郭剑昆 岳丽华 刘秀芬 邵仁荣 柯向东 倪劲峰 谌传立 萧镇 顾慧 金培权 王克祥 李光亚 周学海 范伟宏 李曦 熊悦 徐海燕 文栋辉 施勇 陈莉 韩国新 ustceducn 王剑英 吴海英 李西 陈忠保 陆岚 姚新

数据模型 模式约束图 Prolog 迁移方式 微码压缩 体系结构 元对象 目标环境 约束变量 抽象数据类型 地址分配 多分层 协同工作 仿真器 SpecC 子程序 时空数据库 模拟验证 关系完备性 神经网络 构架 基于向量的图形数据库 构件 超媒体系统 指令束 规范语言 语义约束 全局栈 开放式超媒体系统 过程调用

中国科学技术大学计算机科学与技术系 安徽合肥 中国科学技术大学 中国科学技术大学计算机系 上海万达信息股份有限公司 浙江大学计算机科学与工程系 合肥安徽 中国科学技术大学计算机科学技术系