丁忠俊 杨芙清 许佳卿 张琴燕 张有为 刘思聪 费勤福 张家晨 李文锦 吴穹 梅宏 古辉 李青山 蒋烈辉 叶延风 王甜甜 彭鑫 赵文耘 何红旗 纳荣 赵合计 林钧海 陈华 黄会群 韩小琨 孙青岩 马培军 周博 秦小麟 王伟

软件维护 架构恢复 树匹配 系统重构 语义 程序理解工具 开放编译 软件复用 切片改进 静态分析 类型推导 算法识别 动态分析 代码分析 马蹄铁模型 数据逆向工程 程序匹配 二进制分析 版本差异比较 计算项 语义等价 程序标准化 遗产系统 数据库 C 软件植入 FC分析 概念格 控制流 H-等价

软件维护