叶会华 王玉英 赖松凤 钱剑飞 袁勇 孙家骕 陈华 马灵春 陈纯 王艳春 刘康苗 唐文彬 邹俊 陈松乔 古辉 王灿 王晓博 谭文颖 阳继旭 刘超 韩晓东

索引 程序理解管道 信息检索 程序切片 SVG B树 程序依赖图 增量式分析 抽取机制 程序控制流图 面向对象 信息抽取 分类存储 概率有限自动机 程序理解工具 增量式更新 后缀树 GXL 轻量级分析 软件维护 软件工程 逆向工程 正向工程 文档生成 规格说明 静态分析方法 软件植入范围 形式化 程序信息库 符号定位