邢东旭 谭跃生 张丽萍 张晓琳 丁岳伟 孔令富 魏凤岐 邵建力 张少白 刘东升 李彦臣 冯志全 刘磊 杨新宇 金英 张世辉 金成植 陈志浩 韩鸿莺 成谢锋

物理查询计划 扩展XML-RL 静态分析 自动计算 面向对象式语言 代码复制检测 文法 编辑器 逻辑查询计划 编码表达式 算符优先法 复制检测方法 解图 约束式语言 综合评价机制 部件