葛新宇 王能超 海沫 刘华锋 胡先骏 杨文军 谢卫平 张华 张颢 张治元 彭宏 雷超阳 王家兵

代码分割 形式化研究 组合Web服务 软件构件 UML WRIGHT 类库 UDDI EAI 软件体系结构描述语言 软件库 软件体系结构 互操作性 相似性关系 设计模式 归结 软件复用 调解 WSCA EJB 构件合成 CS连接 三层CS模型 构件检索 近似推理 软件工程 Web服务 J2EE 函数复合 过程抽象

华中科技大学计算机学院 华中理工大学计算机学院 湖北武汉 华中科技大学并行计算研究所 华中理工大学计算机学院软件与工程系 华中科技大学计算机科学与技术学院 华南理工大学计算机科学与工程学院