杨培根 绳程弟 谢立 金志权 盛蓝 周晓方 朱根江 陈佩佩 张渡 顾建明 过敏意 周建强 徐希豪 李西宁 张德富 须成忠 柳诚飞 范昌鹏 薛行 邬俊杰 顾庆 阳雪林 于勐 吴礼发 吴迎红 浦良 臧婉瑜 詹永照 郑宇华 谭耀铭

软件测试 基于规约的测试 通信原语 语义等价 并行编译 分布式程序测试 分布式程序设计语言 可适应性 路径表达式 智能操作系统 处理机 群通信 同步机构 Adhoc移动网络 “或”并行 分布式任务调度 白箱测试 黑箱测试 计算环境 并行分布处理 异步转移模式 分布式计算技术 数据库系统 知识库 面向对象的语言 事件序列 “与”并行 分布式计算 预先路由 报文传递．

南京大学 南京大学计算机科学与技术系 南京大学软件新技术国家重点实验室 南京大学计算机系 江苏南京 日本会津大学计算机理工学部 南京大学计 南京大学计算机软件新技术国家重点实验室