徐世祥 王端宜 欧阳征标 李必信 王云峰 叶家玮 赵建华 李勇 史耀馨 姜泉 吴鹏 庞军 袁海 樊晓聪 侯建民 徐殿祥 沈驿梅 李宣东 查鸣 钱宇 崔萌

主动对象 改写集 UML EDOC 软件Agent 吸收介质 顺序图 可见方法类层次图 构件 窗口推理 精化工具 沥青路面结构设计 状态图 形式方法 精化演算 继承集 唯一名 时间正则表达式 任务层次图 VFCG 路面雷达 模型转换 光电器件设计 类层次分析 识别 改写边界 准相位匹配 有序时段性质 耦合波理论 面向对象

南京大学计算机 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室南... 南京大学计算机科学与技术系 南京大学计算机科学技术系 广东广州 南京大学 华南理工大学交通学院