周毓明 宗宇伟 史亮 王洪媛 张敬周 周天琳 王炜 任胜兵 李彤 许佳卿 谢冰 张路 冯铁 彭斌 任洪敏 钟林辉 李飞 赵娜 余莹 朱三元 金淳兆 王映辉 徐宝文 郁湧 喻寿益 赵文耘 赵锦新 柳青 彭鑫 李虎群

概念格 代码分析 语义等价 权重因子 软件过程优化与改进 反馈 树匹配 软件过程 演化分析 变化分析 活性 重构 生产率 Petri网 版本 软件再工程 结构化操作语义 物理设计 状态转移矩阵 工作模型 软件演化操作语言 马尔可夫链 系统动态开发模型 模型比较 软件重构 版本差异比较 C 基于构件的软件工程 交互兼容性 构件行为自动机