郑国梁 钱宇 庞军 陶传奇 查鸣 王云峰 孙小兵 沈驿梅 戴君 张鹏程 李宣东 周宇 王艳臣 张重峰 孙明杰 周颖 苏志勇 王迪 许高阳 蔡菊

唯一名 指针别名 快速类型分析 改写集 OWL-S WS-Policy 窗口推理 精化工具 数据流 可靠性 Web服务 组合服务 理论验证 精化演算 程序切片 运行时监控 框架 度量 扩展同步序列 抽象语法树 面向对象 逐步求精 类层次分析 监控需求 距离函数 类型分析 结构属性 经验分析 形式方法 基本组件

东南大学计算机科学与工程学院 南京大学计算机 南京大学计算机软件新技术国家重点实验室南... 南京大学 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系 计算机软件新技术国家重点实验室（南京大学... 南京210096南京大学计算机软件新技术...