北京大学
计算机科学技术系

北京大学理科1号楼1620室
phone:62753048
email: meih At
pku.edu.cn
fax:62751792

 

 

个人简介

   梅宏,祖籍重庆,生于贵州并成长于贵州。1984年和1987年分别于南京航空航天大学计算机科学与工程系获计算机应用学士学位和计算机软件硕士学位,1992年于上海交通大学计算机科学与工程系获计算机软件博士学位,1994年从北京大学计算机科学技术系博士后出站。现为北京大学计算机科学技术学科教授,教育部长江学者奖励计划特聘教授,博士生导师,中国科学院院士。北京大学信息科学技术学院院长,高可信软件技术教育部重点实验室主任。国家863 高技术计划“十二五”信息技术领域先进计算技术主题专家组组长,国家“核高基”重大科技专项实施专家组成员,国家973项目首席科学家,中国计算机学会系统软件专业委员会主任,中国软件行业协会副理事长、软件工程分会理事长,工业与信息化部软件构件技术标准工作组组长,全国信息技术标准化技术委员会SOA分技术委员会主任,国务院学位委员会计算机科学与技术学科评议组成员,教育部科学技术委员会委员。研究工作主要涉及软件工程和系统软件领域。曾多次荣获多种奖励和表彰。

简历

    1980.9—1984.7
南京航空航天大学计算机科学及工程系
计算机应用专业,获学士学位
    1984.9—1987.3
南京航空航天大学计算机科学及工程系
计算机软件专业,获硕士学位
    1987.4—1989.9
南京航空航天大学计算机科学及工程系助教
    1989.9—1992.10
上海交通大学计算机科学与工程系
计算机软件专业,获博士学位
    1992.12—1994.10
北京大学计算机科学技术系博士后,讲师
    1994.11—1997.7
北京大学计算机科学技术系副研究员
    1997.8—今
北京大学计算机科学技术系教授、博士生导师
    2002.9-2006.7
北京大学信息科学技术学院副院长
    2003.9-2012.10
北京大学信息科学技术学院软件所所长
    2006.7-今
北京大学信息科学技术学院院长
    2007.2-今
高可信软件技术教育部重点实验室主任
    2008.10—2013.1
软件工程国家工程研究中心主任
    1999.3—2000.4
美国贝尔实验室访问科学家

教学经历:

  • 1. 计算机组成原理
  • 2. 人工智能原理
  • 3. 程序设计方法学
  • 4. Smalltalk面向对象程序设计
  • 5. 软件工程
  • 6. 高级程序设计语言原理

科研经历

  1. 1984.3-1984.7,本科毕业设计:线切割机微机控制系统的实现(已用于工业生产,系统主要实现者)
  2. 1985.9-1987.5硕士学位论文:交互式计算机辅助排料系统ICANS(已用于工业生产,系统实现者)
  3. 1989.9-1992.9,博士学位论文:函数式面向对象程序设计语言FOPL—设计及实现(受国家自然科学基金及863计划资助)
  4. 1992.12-1995.5,国家“八五”科技攻关课题:“集成化软件工程 开发环境(CASE)的标准化与实用化(857121)”,课题主要骨干,技术组成员,JB2系统集成组组长。课题于199553日通过电子工业部主持的专家鉴定,专家认为“JB2型在系统规模和技术水平上达到国际先进水平”。
  5. 1992.12-1994.6863计划课题:“面向对象的智能化软件原型生产技术及系统(86330602033)”,技术负责人,协助杨芙清院士主持设计及实现工作。课题于1994615日通过专家鉴定,成果“居国内外同类研究先进水平”。
  6. 1993.6-1995.3,博士后基金课题:“面向对象的软件过程模型研 究”,课题负责人。
  7. 1994.8-1996.4863计划课题:“基于复用的面向对象智能化软件生产技术(863306020101)”,技术负责人,协助杨芙清院士主持设计及实现工作,已于1996418日通过专家鉴定,成果“国内领先,国际先进”。
  8. 1995.11-1997.11,国家“九五”重点科技攻关项目:“软件工程 环境(青鸟CASE)工业化生产技术及系统的研究开发(96729)”(一期工程)。技术组成员,专题负责人。于199711月通过专家鉴定,专家认为“青鸟Ⅲ型系统…在基于构件/构架模式的软件工业化生产技术研究方面具有创造性和系统性,在系统规模和技术上均居国内领先水平,达到当前国际先进水平,并具有很好 的实用性。将为我国软件产业的技术革命和形成规模经济起到很好的技术支持和保障作用。”
  9. 1996.1-1998.9,国家教委博士点基金课题:“对象的说明型形式化 语义模型研究(9500138)”,课题负责人。
  10. 1996.1-1998.12,国家自然科学基金课题:“基于主动对象模型的 面向对象软件开发方法及其支撑系统(69573002)”,第二负责人。
  11. 1996.8-1998.6863计划课题:“基于构件、构架复用的面向对象软件开发技术及其系统(863306020501)”。课题负责人之一,于199871日通过专家鉴定,专家认为“成果达到国内领先和国际先进水平”。
  12. 1998.2-2000.11,国家“九五”重点科技攻关项目:“软件工程环 境(青鸟CASE)工业化生产技术及系统的研究开发(98780)”(二期工程)。技术组成员、专题负责人。项目于20001222日通过科技部组织的验收。
  13. 1998.6-2001.6,云南省人民政府和北京大学省校合作项目:“青鸟 软件生产线系统的引进、推广及示范工程”。技术负责人。项目于20017月通过云南省科委组织的验收。
  14. 1998.12-2000.12,教育部重点科学技术预研项目:“软件开发过 程自动化的理论和方法研究(98005)”,技术负责人。
  15. 1998.12-2000.11863计划课题:“软件构件组装技术及工具研究(863306ZT02022)”。课题负责人。课题于20001213日通过863专家组验收。验收专家认为:课题“采用SA研究和CBSD研究融为一体的技术路线,在构件描述语言、复杂连接子、组合构件和胶 合代码生成等关键技术方面取得了突破和进展”,“较国际同类工作相比具有自己的特色”,“研究成果通过青鸟工程,显示出良好的应用前景”,综合评价为A-
  16. 2000.9-2002.12,贝尔实验室合作研究课题:“特征交互及构件组 装”。课题负责人。
  17. 2000.9-2002.12,自然科学基金课题:“面向软件体系结构(SA)的软件构造技术研究(60043002)”,课题负责人。结题评价为“特优”。
  18. 2001.1-2002.12,教育部留学回国人员启动基金课题:“基于软件 体系结构的构件组装技术研究”,课题负责人。
  19. 2001.1-2002.122000年度教育部优秀青年教师资助计划项目:“软件构件组装技术及理论研究”,课题负责人。
  20. 2002.1-2004.12,教育部博士点基金:“面向构件的领域工程技术 研究(20010001001)”,课题负责人。
  21. 2002.1-2005.12,国家杰出青年科学基金:“软件构件组装技术及 理论研究(60125206)”,课题负责人。
  22. 2002.12003.12,教育部科学技术研究重大项目:“面向领域的应用中间件(重大0214)”,课题负责人
  23. 2003.12006.12,自然科学基金重点课题:“软件的特征交互及互操作性的研究(60233010)”,课题负责人。
  24. 2002.122008.8,国家重点基础研究发展计划(973计划)项目:“Internet环境下基于Agent的软件中间件理论和方法研究(2002CB312000)”,首席科学家
  25. 2003.62005.5,国家科技攻关计划课题:“奥运信息系统模型的研究与建立(2003BA904B02)”,课题负责人。
  26. 2006.12008.12,自然科学基金海外青年学者合作研究基金:“ABC方法中的求精变换技术研究(60528006)”,课题共同负责人(负责人为东京大学情报理工学院胡振江副教授)
  27. 2006.12008.12,自然科学基金课题:“面向网络计算环境的开放软件模型研究” (90612011),课题负责人。
  28. 2006.12-2008.12,国家科技支撑计划课题:“现代服务 业共性服务集成化技术研究”(2006BAH02A02),课题负责人。
  29. 2007-2010,IBM合作项目:“方案工程联合研究”,首席科学家。
  30. 2009.1-2011.12,国家创新研究群体科学基金:“可信软件的基础理论、方法和技术研究”(60821003),课题负责人。
  31. 2009.1-2013.12,国家重点基础研究发展计划(973计划)项目:“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究”2009CB320700),首席科学家。
  32. 2010.1-2012.12,国家自然科学基金中港合作课题:“隐私无泄漏网络数据发布”(60931160444),课题负责人。
  33. 2011-2013,IBM合作项目:“物联网与网构软件联合研究”,首席科学家。
  34. 2012.1-2014.12,国家创新研究群体科学基金:“可信软件的基础理论、方法和技术研究”(61121063),课题负责人。
  35. 2012.01-2015.12,国家自然科学基金“可信软件基础研究”重大研究计划重点支持项目:“体系结构驱动的可信软件构造方法与技术研究”(91118004),课题负责人
  36. 2012.9-2015.8,教育部科学技术研究重大项目:“网构软件操作系统关键技术研究”(313004),课题负责人。

发表论文:

  1. 梅宏,孙永强,一种基于ADT的函数语言及其操作语义模型,软件学报,1994年第6期,Vol.5,pp.58-64。
  2. 梅宏,孙永强,函数式面向对象语言FOPL的指称语义,计算机学报,1994年第7期,Vol.17,pp.513-520。
  3. 杨芙清,邵维忠,梅宏,面向对象的CASE环境青鸟Ⅱ型系统的设计与实现,中国科学(A辑),1995,Vol.25,No.5,pp.533-542。
  4. 梅宏,孙永强,行为规范作为类型,软件学报,1995年5期,Vol.6,pp.280-289。
  5. 朱冰,梅宏,杨芙清,基于事件驱动的主动对象模型,软件学报,1996,Vol.7,No.3,145-149。
  6. Fuqing Yang, Hong Mei, Qiong Wu, Bing Zhu,An Approach to Software Development Based on Heterogeneous Components Reuse and its Supporting System, Science in China(series E), Vol.40, No.4, 1997, pp.405-413.
    中文版发表于:
    杨芙清,梅宏,吴穹,朱冰,基于异质构件复用的软件开发技术及其支持系统,中国科学(E辑),1997,Vol.27,No.3,pp.275-281。
  7. Keqin Li, Lifeng Guo, Hong Mei, Fuqing Yang, An Overview of JB (JadeBird) Component Library System JBCL, Proceedings of the 24th International Conference on Technology of Object-Oriented Languages ASIA (TOOLS ASIA 1997), Beijing, China, September 1997, pp.206-213.
  8. Qiong Wu, Jichuang Chang, Hong Mei, Fuqing Yang, JBCDL: An Object-Oriented Component Description Language, Proceedings of the 24th International Conference on Technology of Object-Oriented Languages ASIA (TOOLS ASIA 1997), Los Alamitos, CA, USA, 1997, pp.198-205.
  9. 梅宏,黄柏素,张路,子类型的指称语义,电子学报,1999,Vol.27,No.8,46-48。
  10. Hong Mei, A Complementary Approach to Requirements Engineering--Software Architecture Orientation, Bell-Labs Technical Report, 1999, ACM SIGSOFT Software Engineering Notes, 2000, Vol.25, No.2, pp.40-45.
  11. Hong Mei, Jichuan Chang, Fuqing Yang, Composing Software Components at Architectural Level, Proceedings of International Conference on Software-Theory and Practice,IFIP the 16th World Computer Congress (WCC 2000/ICS 2000), Beijing, August 2000, pp.224-231.
  12. 常继传,李克勤,郭立峰,梅宏,杨芙清,青鸟系统中可复用软件构件的表示与查询,电子学报,2000,Vol.28,No.8, pp.20-23。
  13. 梅宏,吴穹,袁望洪,杨芙清,Smalltalk程序理解辅助系统BDCom-ST,计算机学报,2000,Vol.23,No.8,pp. 882-886。
  14. 梅宏,谢涛,袁望洪,杨芙清,青鸟构件库的构件度量,软件学报,2000,Vol.11,No.5,pp.634-641。
  15. 张路,谢冰,梅宏,邵维忠,杨芙清,基于构件的软件配置管理技术研究,电子学报,2001年2月,Vol.29,No.2,pp.266—268。
  16. Hong Mei, A Component Model for Perspective Management of Enterprise Software Reuse, Annals of Software Engineering, 2001, Vol.11, No.1, pp.219-236.
  17. Hong Mei, Lu Zhang, Fuqing Yang, A Software Configuration Management Model for Supporting Component-Based Software Development, ACM SIGSOFT Software Engineering Notes, 2001, Vol.26, No.2, pp.53-58.
  18. Hong Mei, Jichuan Chang, Fuqing Yang, Software Component Composition based on ADL and Middleware, Science in China (series F), 2001, Vol.44, No.2, pp.136-151.
  19. Hong Mei, Tao Xie, Fuqing Yang, JBOORET: an Automated Tool to Recover OO Design and Source Models, Proceedings of the 25th Annual International Computer Software and Application Conference (COMPSAC 2001), Chicago, USA, October 8-12, 2001, pp.71-76.
  20. Lu Zhang, Hong Mei, Hong Zhu, A Configuration Management System Supporting Component-based Software Development, Proceedings of the 25th Annual International Computer Software and Application Conference (COMPSAC 2001), Chicago, USA, October 8-12, 2001, pp.25-30.
  21. Hong Mei, Lu Zhang, Fuqing Yang, A Component-based Software Configuration Management Model and its Supporting System, Journal of Computer Science and Technology, 2002, Vol.17, No.4, pp.432-441.
  22. Hong Mei, Tao Xie, Fuqing Yang, A Model-based Approach to Object-Oriented Software Metrics, Journal of Computer Science and Technology, November 2002, Vol.17, No.6, pp.757-769.
  23. 黄罡,王千祥,曹东刚,梅宏,PKUAS:一种面向领域的构件运行支撑平台,电子学报,2002年12月,Vol.30,No.12A, pp.1938—1942。
  24. 梅宏,黄罡,邢岩,彭枫,特征交互问题导论,电子学报,Vol.30,No.12A, 2002年12月,pp.1923—1927。
  25. 杨芙清,梅宏,吕建,金芝,浅论软件技术发展,电子学报,2002年12月,Vol.30,No.12A, pp.1901—1906。
  26. Feng Chen, Qiangxiang Wang, Hong Mei, Fuqing Yang, An Architecture-based Approach for Component-Oriented Development, Proceedings of the 26th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2002), Oxford, England, August 26-29, 2002, pp.450-455.
  27. Hong Mei, Feng Chen, Qianxiang Wang, Yaodong Feng, ABC/ADL: An ADL Supporting Component Composition, Proceedings of the 4th International Conference on Formal Engineering Methods (ICFEM 2002), Lecture Notes in Computer Science,2002, Shanghai, China, October 2002, 2495(1):38-47.
  28. Qianxiang Wang, Feng Chen, Hong Mei, Fuqing Yang, An Application Server To Support Online Evolution, Proceedings of the 18th IEEE International Conference on Software Maintenance (ICSM 2002), Montréal, Canada, October 3-6, 2002, pp.131-140.
  29. Gang Huang, Hong Mei*, Qianxiang Wang, Towards Software Architecture at Runtime, ACM SIGSOFT Software Engineering Notes, March 2003, Vol.28, No.2,pp. 8.
  30. Gang Huang, Hong Mei*, Qianxiang Wang, Fuqing Yang, A Systematic Approach to Composing Heterogeneous Components, Chinese Journal of Electronics, October 2003, Vol.12, No.4, pp.499-505.
  31. 黄罡,王千祥,梅宏,杨芙清,基于软件体系结构的反射式中间件研究,软件学报,2003,Vol.14,No.11,pp.1819—1826。
  32. 曹东刚,梅宏,面向Aspect的程序设计――一种新的编程范型,计算机科学,2003,Vol.30,No.9,pp.5—10。
  33. 梅宏,陈锋,冯耀东,杨杰,ABC:基于软件体系结构、面向构件的软件开发方法,软件学报,2003,Vol.14,No.4,pp.721-732。
  34. 吴翔,黄罡,郑子瞻,王千祥,梅宏,一种支持多协议的开放互操作框架,电子学报,2003,Vol.31,No.12A,pp.2115—2118。
  35. 张伟,梅宏*,一种面向特征的领域模型及其建模过程,软件学报,2003,Vol.14,No.8, pp.1345—1356。
  36. Hong Mei, Wei Zhang, Fang Gu, A Feature-Oriented Approach to Modeling and Reusing Requirements and Software Product Lines, Proceedings of the 27th Annual Internatioanl Computer Software and Applications Conference (COMPSAC 2003), Dallas, USA, November 3-6, 2003, pp.250-256.
  37. Qianxiang Wang, Gang Huang, Junrong Shen, Hong Mei, Fuqing Yang, Runtime Software Architecture Based Software Online Evolution, Proceedings of the 27th Annual Internatioanl Computer Software and Applications Conference (COMPSAC 2003), Dallas, USA, November 3-6, 2003, pp.230-235.
  38. Wenpin Jiao, Hong Mei, Eliminating Mismatching Connections between Components by Adopting an Agent-based Approach, Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence, Sacramento, CA, USA,November 3-5, 2003, pp.358-365.
  39. Wenpin Jiao, Hong Mei, Automated Adaptations to Dynamic Software Architectures by Using Autonomous Agents, Engineering Applications of Artificial Intelligence, 2004, Vol.17, No.7, pp.749-770.
  40. Gang Huang, Hong Mei, Fuqing Yang, Runtime Software Architecture Based On Reflective Middleware. Science in China (series F), 2004, Vol.47, No.5, pp.555-576.
    中文版发表于:
    黄罡,梅宏,杨芙清,基于反射式软件中间件的运行时软件体系结构,中国科学(E辑),2004,Vol.34,No.2,121—138。
  41. 郑子瞻,王千祥,黄罡,梅宏,PKUAS中负载平衡机制的设计与实现,电子学报,2004,Vol.32,No.12A,pp.180—184。
  42. 王晓光,冯耀东,梅宏,ABC/ADL:一种基于XML的软件体系结构描述语言,计算机研究与发展,2004年9月,Vol.41,No.9,pp.1521—1531。
  43. Gang Huang, Meng Wang, Liya Ma, Ling Lan, Tiancheng Liu, Hong Mei. Towards Architecture Model based Deployment for Dynamic Grid Services, Proceedings of the IEEE International Conference on E-Commerce Technology for Dynamic E-Business (CEC04-EAST), Beijing, China, September 13-15, 2004, pp.14-21.
  44. Junrong Shen, Qianxiang Wang, Hong Mei, Self-adaptive Software: Cybernetic Perspective and an Application Server Supported Framework, Proceedings of Workshop on Software Cybernetics in the 28th Annual International Computer Software & Applications Conference (COMPSAC 2004), Hong Kong, China, September 28-30, 2004, pp.92-95.
  45. Hong Mei, Gang Huang, PKUAS: An Architecture-based Reflective Component Operating Platform, invited paper, Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), Suzhou, China, May 26-28, 2004, pp 163-169.
  46. Wei Zhang, Haiyan Zhao, Hong Mei*, A Propositional Logic-Based Method for Verification of Feature Models, Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM 2004), Seattle, USA, November 8-12, 2004, pp.115-130.
  47. Hong Mei, ABC: Supporting Software Architectures in the Whole Lifecycle, Keynote, Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 28-30, 2004, pp.342-343.
  48. Gang Huang, Tiancheng Liu, Hong Mei, Zizhan Zheng, Zhao Liu, Gang Fan, Towards Autonomic Computing Middleware via Reflection, Proceedings of the 28th IEEE Annual International Computer Software & Applications Conference (COMPSAC 2004), Hong Kong, China, September 28-30, 2004, pp.135-140.
  49. Wei Zhao, Lu Zhang, Dan Hao, Hong Mei, Jiasu Sun, Alternative Scalable Algorithms for Lattice-Based Feature Location, Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), Chicago, IL, USA, September 11-17, 2004, pp. 528.
  50. Yali Zhu, Gang Huang*, Hong Mei, Quality Attribute Scenario Based Architectural Modeling for Self-Adaptation Supported by Architecture-based Reflective Middleware, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, November 30- December 3, 2004, pp.2-9.
  51. Jing Luo, Renkuan Jiang, Lu Zhang, Hong Mei, Jiasu Sun, An Experimental Study of Two Graph Analysis Based Component Capture Methods for Object-Oriented Systems, Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), Chicago, IL, USA, September 11-17, 2004, pp. 390-398.
  52. 曹东刚,梅宏,曹建农,在中间件中支持用户自定义连接子,软件学报,2005,Vol.16,No.8,pp.1378—1385。
  53. 梅宏,曹东刚,ABC-S2C:一种面向贯穿特性的构件化软件关注点分离技术,计算机学报,2005年12月,Vol. 28,No. 12,pp. 2036—2044。
  54. 王栋,梅宏,下一代通信软件中的特征冲突检测,软件学报,2005,Vol.16,No.7,pp.1232—1241。
  55. 邹盛享,张伟,赵海燕*,梅宏,一种面向软件产品家族的变化性建模方法,软件学报,2005,Vol.16,No.1,pp.37—49。
  56. 周明辉,梅宏,焦文品,基于中间件的可定制信任管理框架,电子学报,2005,Vol.33,No.5,820—826。
  57. Junrong Shen, Xi Sun, Gang Huang*, Wenpin Jiao, Yanchun Sun, Hong Mei, Towards a Unified Formal Model for Supporting Mechanisms of Dynamic Component Update, Proceedings of the 5th joint meeting of the European Software Engineering Comference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE 2005), Lisbon, Portugal, September 7-9, 2005, pp.80-89.
  58. Ling Lan, Gang Huang*, Liya Ma, Meng Wang, Hong Mei, Long Zhang, Ying Chen, Architecture Based Deployment of Large-Scale Component Based System: The Tool and Principles, Proceedings of the 8th International Symposium on Component-based Software Engineering (CBSE 2005), St. Louis, MO, USA, May 14-15, 2005, pp.123-138.
  59. Yali Zhu, Gang Huang*, Hong Mei, Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architecture, Proceedings of the 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS 2005), Shanghai, China, June 16-20, 2005, pp.37-46.
  60. Teng Teng, Gang Huang*, Ruichao Li, Dong Zhao, Hong Mei, Feature Interactions Induced by Data Dependencies among Entity Components, Proceedings of the 8th International Conference on Feature. Interactions in Telecommunications and Software Systems (ICFI 2005), Leicester, UK, June 28-30, 2005, pp. 252-269 (Most Novel Domain Award)
  61. Tiancheng Liu, Gang Huang*, Gang Fan, Hong Mei, The Coordinated Recovery of Data Service and Transaction Service in J2EE, Proceedings of the 29th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 26-28, 2005, pp.485-490. (One of Six Best Papers)
  62. Kun Chen, Wei Zhang, Haiyan Zhao, Hong Mei, An Approach to Constructing Feature Models Based on Requirements Clustering, Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), La Sorbonne, France, August 29-September 2, 2005, pp.31-40.
  63. Yaodong Feng, Gang Huang, Yali Zhu, Hong Mei, Exception Handling in Component Composition with the Support of Middleware, Proceedings of the 5th International Workshop on Software Engineering and Middleware (SEM 2005), co-located with ESEC-FSE’05, Lisbon, Portugal, September, 2005, pp.90-97.
  64. Minghui Zhou, Hong Mei, Lu Zhang, A Multi-Property Trust Model for Reconfiguring Component Software, Proceedings of the 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, September 19-20, 2005, pp.142-149.
  65. Wei Zhang, Hong Mei, Haiyan Zhao, Jie Yang, Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay, Jamaica, October 2-7, 2005, pp.248-262 (One of the Six Best Papers).
  66. Wenpin Jiao, Hong Mei, Dynamic Architectural Connectors in Cooperative Software Systems, Proceedings of the 10th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS 2005), Shanghai, China, June 16-20, 2005, pp.477–486.
  67. Wei Zhang, Hong Mei*, Haiyan Zhao, A Feature-Oriented Approach to Modeling Requirements Dependencies, Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), La Sorbonne, France, August 29-September 2, 2005, pp.273-282 (One of Five Best-Research Papers).
  68. Hong Mei, Gang Huang, Wei-Tek Tsai, Towards Self-Healing Systems via Dependable Architecture and Reflective Middleware (invited paper), Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), Sedona, USA, February 2-4, 2005, pp.337-344.
  69. Dan Hao, Ying Pan, Lu Zhang*, Wei Zhao, Hong Mei*, Jiasu Sun, A Similarity-Aware Approach to Testing Based Fault Localization, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, California, USA, November 7-11, 2005, pp.291-294.
  70. Xuanzhe Liu, Gang Huang*, Wei Zhang, Hong Mei, Feature Interaction Problems in Middleware Services, Proceedings of the 8th International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI 2005), Leicester, UK, June 28-30, 2005, pp.313-319 (Nomination of Best Paper Award).
  71. Gang Huang, Hong Mei, Fuqing Yang, Runtime Recovery and Manipulation of Software Architecture of Component-based Systems, International Journal of Automated Software Engineering, Feburary 2006, Vol.13, No.2, pp.251-278.
  72. Hong Mei, Wei Zhang, Haiyan Zhao, A Metamodel for Modeling System Features and Their Refinement, Constraint and Interaction Relationships, Software and Systems Modeling, June 2006, Vol.5, No.2, pp.172-186.
  73. Hong Mei, Xi Sun, Xuanzhe. Liu, Wenpin Jiao, Gang Huang, An Agent-based Approach to Composing Web Services to Support Adaptable Business Processes, Multiagent and Grid Systems: An International Journal, 2006, Vol.2, No. 4, pp.383-399.
  74. Qianxiang Wang, Junrong Shen, Xiaopeng Wang, Hong Mei, A Component-based Approach to Online Software Evolution, Journal of Software Maintenance and Evolution: Research and Practice, Vol.18, Issue 3 (May/June 2006), pp.181-205.
  75. Wei Zhang, Hong Mei*, and Haiyan Zhao, Feature-Driven Requirements Dependency Analysis and High-Level Software Design, Requirements Engineering, 2006, Vol.11, No.3, pp.205-220.
  76. Hong Mei, Gang Huang, Haiyan Zhao, Wenpin Jiao, A Software Architecture Centric Engineering Approach to Internetware, Science in China (series F), 2006, Vol.49, No.6, pp.702-730.
    中文版发表于:
    梅宏,黄罡,赵海燕,焦文品,一种以软件体系结构为中心的网构软件开发方法,中国科学(E辑),2006,Vol.36,No.10,pp.1100—1126。
  77. Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-chi Cheung, Performance Aware Service Pool in Dependable Service Oriented Architecture, Journal of Computer Science and Technology, 2006, Vol.21, No.4, pp.565-573.
  78. 杨杰,黄罡*,陈湘萍,梅宏,张成志,软件体系结构模型单层化的一致性保障方法,软件学报,2006,Vol.17,No.6,pp.1391—1400。
  79. 林泊,周明辉*,刘天成,黄罡,梅宏,一个J2EE应用服务器中Web容器集成框架的设计与实现,软件学报,2006,Vol.17,No.5,pp.1195—1203。
  80. 梅 宏,申峻嵘,软件体系结构研究进展,软件学报,2006,Vol.17,No.6,pp.1257—1275。
  81. 孙熙,刘譞哲*,焦文品,黄罡,梅宏,一种规则驱动的网络服务组装方法,计算机学报,2006,Vol.29,No.7,pp.1084—1094。
  82. Fuqing Yang, Hong Mei, Development of Software Engineering: Co-operative Efforts from Academia, Government and Industry, Keynote, Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp.2-11.
  83. Yaodong Feng, Gang Huang*, Jie Yang, Hong Mei, Traceability between Software Architecture Models, Proceedings of the 30th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2006), Chicago, September 17-21, 2006, pp. 41-44.
  84. Wenpin Jiao, Hong Mei, Automating Integration of Heterogeneous COTS Components, Proceedings of the 9th International Conference on Software Reuse (ICSR 2006), Torino, Italy, June 2006, pp.29-42.
  85. Hao Zhong, Lu Zhang*, Hong Mei*, An Experimental Comparison of Four Test Suite Reduction Techniques, Proceedings of the 28th International Conference on Software Engineering (ICSE 2006) - Far East Experience Papers, Shanghai, China, May 20-28, 2006, pp.636-639.
  86. Kun Chen, Haiyan Zhao, Wei Zhang, Hong Mei*, Identification of Crosscutting Requirements Based on Feature Dependency Analysis, Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), Minneapolis, USA, September 11-15, 2006, pp.307-310.
  87. Gang Huang, Xuanzhe Liu, Hong Mei*, SOAR: Towards Dependable Service-Oriented Architecture via Reflective Middleware, International Journal of Simulation and Process Modelling, 2007, No.1/2, pp. 55-65.
  88. Hong Mei, Gang Huang, Tiancheng Liu, Junguo Li, Coordinated Recovery of Middleware Services: A Framework and Experiments, International Journal of Software and Informatics, 2007, Vol.1, No.1, pp.107-137.
  89. Wenpin Jiao, Hong Mei, Supporting High Interoperability of Components by Adopting an Agent-based Approach, Software Quality Journal, September 2007, Vol.15, No.3, pp.283-307.
  90. 左继红,王千祥,梅宏,基于模式分析的特征交互检测,软件学报,2007,Vol.18,No.4,pp.796—807。
  91. 刘譞哲,黄罡*,梅宏,用户驱动的服务聚合方法及其支撑框架,软件学报,2007,Vol.18,No.8,pp.1883—1895。
  92. Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei, Towards Automatic Model Synchronization from Model Transformations, Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Georgia, USA, November 5-9, 2007, pp.164-173.
  93. Xuanzhe Liu, Gang Huang, Hong Mei, Towards A Service Pool Based Approach for QoS-Aware Web Services Discovery and Subscription, Proceedings of the 16th International Conference on World Wide Web (WWW 2007), Banff, Canada, May 8-12, 2007, pp.1253‐1254.
  94. Lingshuang Shao, Jing Zhang, Yong Wei, Junfeng Zhao, Bing Xie*, Hong Mei, Personalized QoS Prediction for Web Services via Collaborative Filtering,Proceedings of the 5th International Conference on Web Services (ICWS 2007) , Utah, USA, July 9-13, 2007, pp. 439-446.
  95. Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun, Applying Interface-Contract Mutation in Regression Testing of Component-Based Software, Proceedings of the 23rd International Conference on Software Maintenance (ICSM 2007), Paris, France, October 2-5, 2007, pp.174-183.
  96. Ling Lan, Gang Huang, Weihu Wang, Hong Mei, A Middleware-based Approach to Model Refactoring at Runtime, Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, December 5-7, 2007, pp.246-253.
  97. Yanzhen Zou, Liang Gu, Ge Li*, Bing Xie, Hong Mei, Rectifying Prejudicial Feedback Ratings in Reputation based Trust Management, Proceedings of the 4th International Conference on Services Computing (SCC 2007), Utah, USA, July 9-13, 2007, pp. 530-535.
  98. Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei, An Online Monitoring Approach for Web Services, Proceedings of the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, July 23-27, 2007, pp.335-342.
  99. Xuanzhe Liu, Gang Huang, Hong Mei*, Towards End User Service Composition, Proceedings of the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), Beijing, China, July 23-27, 2007, pp. 676-678.
  100. Xuanzhe Liu, Li Zhou, Gang Huang*, Hong Mei, Consumer-Centric Web Services Discovery and Subscription, Proceedings of the 3rd International Conference on e-Business Engineering (ICEBE 2007), Hong Kong, China, October 24-26, 2007, pp.543-550.
  101. Junguo Li, Gang Huang*, Jian Zou, Hong Mei, Failure Analysis of Open Source J2EE Application Servers, Proceedings of the 7th International Conference on Quality Software (QSIC 2007), October 11-12, 2007, Oregon, USA, pp.198-208.
  102. Dan Hao, Lu Zhang*, Ying Pan, Hong Mei, Jiasu Sun, On Similarity-Awareness in Testing-Based Fault-Localization, International Journal of Automated Software Engineering, 2008, Vol.15, No.2, pp.207-249.
  103. Hao Zhong, Lu Zhang*, Hong Mei, An Experimental Study of Four Typical Test Suite Reduction Techniques, Information and Software Technology, 2008, Vol.50, No.6, pp.534-546.
  104. I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei, QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems, IEEE Computer, 2008, Vol.41, No.8, pp. 48-55.
  105. Yanzhen Zou, Lu Zhang, Yan Li, Bing Xie, Hong Mei*, Result Refinement in Web Services Retrieval Based on Multiple Instances Learning, International Journal of Web Services Research, April 2008, Vol. 5, No. 2, pp. 77-93.
  106. Fuqing Yang, Jian Lu, Hong Mei, Technical Framework for Internetware: An Architecture Centric Approach, Science in China (series F), 2008, Vol.51, No.6, pp.610-622.
    中文版发表于:
    杨芙清,吕建,梅宏,网构软件技术体系:一种以体系结构为中心的途径,中国科学(E辑),2008,Vol.38,No.6,818—828。
  107. Haiyan Zhao, Wei Zhang, Hong Mei, Multi-View based Customization of Feature Models, Journal of Frontier of Computer Science and Technology, 2008, Vol.2, No.3, pp.260-273.
  108. Hong Mei, Gang Huang, Ling Lan, Junguo Li, A Software Architecture Centric Self-Adaptation Approach for Internetware, Science in China (series F), 2008, Vol.51, No.6, pp.722-742.
    中文版发表于:
    梅宏,黄罡,兰灵,李军国,基于体系结构的网构软件自适应方法,中国科学(E辑),2008,Vol.38,No.6,pp.901—920。
  109. Gang Huang, Xuanzhe Liu, Hong Mei, An Online Approach to Feature Interaction Problems in Middleware based Systems, Science in China (series F), 2008, Vol.51, No.3, pp.225-239.
  110. Wei Zhao, Lu Zhang, Jiasu Sun, Hong Mei*, An Objective-Oriented Approach to Program Comprehension Using Multiple Information Sources, Science in China (series F), 2008, Vol.51, No.7, pp.825-847.
  111. 兰灵,黄罡*,王玮琥,梅宏,基于反模式的中间件应用系统性能优化,软件学报,2008,Vol.19,No.9,pp.2167—2180。
  112. 李研,周明辉*,李瑞超,曹东刚,梅宏,一种考虑QoS数据可信性的服务选择方法,软件学报,2008,Vol.19,No.10,pp.2620—2627。
  113. 邵凌霜,李田,赵俊峰,王亚沙,谢冰,梅宏,一种可扩展的Web Service Qos管理框架,计算机学报,2008,Vol.31,No.8,pp.1458—1470。
  114. 孙熙,庄磊,刘文,焦文品*,梅宏,一种可定制的自主构件运行支撑框架,软件学报,2008,Vol.19,No.6,pp.1340—1349。
  115. Xiaofeng Cui, Yanchun Sun*, Hong Mei, Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design, Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), Vancouver, BC, Canada, February 18–22, 2008, pp.221-230.
  116. Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma*, Hong Mei, Modeling and Checking for Non-Functional Attributes in Extended UML Class Diagram, Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, July 28-August 1, 2008, pp.100-107.
  117. Lianshan Sun, Gang Huang, Yanchun Sun, Hui Song, Hong Mei, An Approach for Generation of J2EE Access Control Configurations from Requirements Specification, Proceedings of the 8th International Conference on Quality Software (QSIC 2008), Oxford, UK, August 12-13, 2008, pp.87-96.
  118. Lingshuang Shao, Lu Zhang, Tao Xie, Junfeng Zhao, Bing Xie, Hong Mei, Dynamic Availability Estimation for Service Selection Based on Status, Proceedings of the 6th International Conference on Web Services (ICWS 2008), Beijing, China, September 23-26, 2008, pp.645-652.
  119. Xuanzhe Liu, Gang Huang*, Hong Mei, A User-Oriented Approach for Automated Service Composition, Proceedings of the 6th International Conference on Web Services (ICWS 2008), Beijing, China, September 23-26, 2008, 773-776.
  120. Liang Gu, Xuhua Ding, Robert Hui, jie Deng, Yanzhen Zou, Bing Xie, WeizhongShao, Hong Mei, Model-Driven Remote Attestation: Attesting Remote System from Behavioral Aspect, Proceedings of the 1st International Symposium on Trusted Computing (TrustCom 2008), Hunan, China, November 18-20, 2008, 2347-2353.
  121. Hao Zhong, Lu Zhang, Hong Mei, Early Filtering of Polluting Method Calls for Mining Temporal Specifications, Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), Beijing, China, December 3-5, 2008, pp. 9-16 (Best Paper Award).
  122. Jie Yang, Gang Huang*, Wenhui Zhu, Xiaofeng Cui, Hong Mei, Quality Attribute Tradeoff Through Adaptive Archtectures at Runtime, Journal of Systems and Software, February 2009,Vol. 82, No. 2, pp. 319-332.
  123. Qianxiang Wang, Jin Shao, Fang Deng, Yonggang Liu, Min Li, Jun Han, Hong Mei, An Online Monitoring Approach for Web Service Requirements, IEEE Transactions on Services Computing, 2009, October-December, Vol.2, No.4, 338-351.
  124. Xi Sun, Li Zhou, Lei Zhuang, Wenpin Jiao*, Hong Mei, An Approach to Constructing High-available Decentralized Systems via Self-adaptive Components, International Journal of Software Engineering and Knowledge Engineering, 2009, Vol.19, No.4, pp.553-571.
  125. Xuanzhe Liu, Gang Huang, Hong Mei*, Discovering Homogeneous Web Service Community in the User-Centric Web Environment, IEEE Transactions on Service Computing, Vol.2, No.2, April-June 2009, pp.167-181.
  126. Xiaoyin Wang, Lu Zhang*, Tao Xie*, Hong Mei, Jiasu Sun, Locating Need-to-Translate Constraint Strings for Software Internationalization, Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 16-24, 2009, 353-363.
  127. Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting automatic model inconsistency fixing, Proceedings of the 17th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2009), Amsterdam, the Netherlands, August 24-28, 2009, pp.315-324.
  128. Hao Zhong, Lu Zhang*, Tao Xie*, Hong Mei*, Inferring Resource Specifications from Natural Language API Documentation, Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, November 16-20, 2009, pp. 307-318 (Best Paper Award and ACM SIGSOFT Distinguished Paper Award).
  129. Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun, Hong Mei, VIDA: Visual Interactive Debugging, Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Formal Research Demo Track, Vancouver, Canada, May 16-24, 2009, pp.583-586.
  130. Junguo Li, Xiangping Chen, Gang Huang*, Hong Mei, Franck Chauvel, Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support, Proceedings of the 12th International SIGSOFT Symposium on Component-based Software Engineering (CBSE 2009), East Stroudsburg, PA USA, June 23-26, 2009, 69-86 (Best Paper Award).
  131. Lingshuang Shao, Junfeng Zhao*, Tao Xie, Lu Zhang; Bing Xie, Hong Mei, User-Perceived Service Availability: A Metric and an Estimation Approach, Proceedings of the 7th IEEE International Conference on Web Services (ICWS 2009), Los Angeles, CA, USA, July 6-9, 2009, pp.647 – 654.
  132. Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei*, Time-Aware Test-Case Prioritization using Integer Linear Programming, Proceedings of the 18th International Symposium on Software Testing and Analysis (ISSTA 2009), Chicago, IL, USA, July 19-23, 2009, pp. 213-224.
  133. Hao Zhong, Tao Xie*, Lu Zhang, Jian Pei, Hong Mei*, MAPO: Mining and Recommending API Usage Patterns, Proceedings of the 23rd European Conference on Object-Oriented Programming (ECOOP 2009), Genoa, Italy, July 6-10, 2009, pp.318-343.
  134. Xiaoyin Wang, David Lo, Jiang Jing, Lu Zhang, Hong Mei. Extracting Paraphrases of Technical Terms from Noisy Parallel Software Corpora, Proceedings of the Joint conference of the 47th Annual Meeting of the Association for Computational Linguistics and the 4th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing (ACL-IJCNLP 2009), Singapore, August 2-7, 2009, pp.197-200.
  135. Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei, A Use Case Based Approach to Feature Models’ Construction, Proceedings of the 17th IEEE International Requirements Engineering Conference (ICRE 2009), Atlanta, Georgia, USA, August 31 - September 4, 2009, pp.121-130.
  136. Lingming Zhang, Ji Zhou, Dan Hao*, Lu Zhang, Hong Mei, Prioritizing JUnit Test Cases in Absence of Coverage Information, Proceedings of the 25th International Conference on Software Maintenance (ICSM 2009), Edmonton, Alberta, Canada, September 20-26, 2009, pp.19-28.
  137. Hua Yan, Wei Zhang, Haiyan Zhao, Hong Mei, An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints, Proceedings of the 11th International Conference on Software Reuse (ICSR 2009), Falls Church, VA, USA, September 27-30, 2009, pp.65-75.
  138. Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang*, Zhenjiang Hu, Hong Mei, Generating Synchronization Engines between Running Systems and Their Model-Based Views, Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, USA, October 4-9, 2009, pp.11-20.
  139. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, Hong Mei*, Test Input Reduction for Result Inspection to Facilitate Fault Localization, International Journal of Automated Software Engineering, March 2010, Vol. 17, No. 1, pp. 5-31.
  140. Lu Zhang, Jing Luo, He Li, Jiasu Sun, Hong Mei*, A Biting-Down Approach to Hierarchical Decomposition of Object-Oriented Systems Based on Structure Analysis, Journal of Software Maintenance and Evolution: Research and Practice, Vol. 22, No. 8, December 2010, pp.567-596.
  141. Wenpin Jiao, Yunchun Sun, Hong Mei, Automated Assembly of Internet-Scale Software Systems Involving Autonomous Agents, Journal of Systems and Software, 83(2010) , pp.1838-1850.
  142. Xuanzhe Liu, Gang Huang*, Hong Mei, A Community-Centric Approach to Automated Service Composition, Science in China (series F), 2010, Vol.53, No.1, pp.50–63.
  143. Hong Mei, Xuanzhe Liu. Software Techniques for Internet Computing: Current Situation and Future Trend, Chinese Science Bulletin, 2010, Vol. 31, pp. 3510-3516.
    中文版发表于:
    梅宏,刘譞哲,互联网时代的软件技术:现状与趋势,科学通报,2010,Vol.55,pp.1214-1220。
  144. Lu Zhang, Shan-Shan Hou, Jun-Jue Hu, Tao Xie, Hong Mei*, Is Operator-Based Mutant Selection Superior to Random Mutant Selection? Proceedings of 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, pp.435-444.
  145. Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, Hong Mei, Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September 20-24, 2010, pp.93-102.
  146. Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang*, Hong Mei, Jeffrey Xu Yu, Matching Dependence-Related Queries in the System Dependence Graph, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September 20-24, 2010, pp. 457-466.
  147. Xiaoyin Wang, Lu Zhang*, Tao Xie, Hong Mei, Jiasu Sun, Locating Need-to-Translate Constant Strings in Web Applications, Proceedings of the 18th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2010), Santa Fe, NM, USA, November 7-11, 2010, pp. 87-96.
  148. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao*, Wei Zhang, Hong Mei, A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, October 3-8, 2010, pp.181-195.
  149. Hui Song, Gang Huang*, Yingfei Xiong, Franck Chuavel, Yanchun Sun, Hong Mei, Inferring Meta-Models for Runtime System Data from the Clients of Management APIs, Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, October 3-8, 2010, pp.168-182.
  150. Qi Zhao, Xuanzhe Liu*, Gang Huang, Jiyu Huang, Hong Mei, A Browser-based Middleware for Service-Oriented Rich Client, Proceedings of the 3rd International Conference on Service Science (ICSS 2010), 2010, pp. 22-27(Best Paper Award).
  151. Hui Song, Gang Huang*, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach, Journal of Systems and Software, Elsevier, 2011, 84(5): 711-723.
  152. Gang Huang, Weihu Wang, Tiancheng Liu, Hong Mei, Simulation based Analysis of Middleware Service Impact on System Reliability: Experiment on Java Application Server, Journal of Systems and Software, Elsevier, 2011, 84(7): 1160-1170.
  153. Qian Wu, Guangtai Liang, Qianxiang Wang, Tao Xie, Hong Mei, Iterative Mining of Resource-Releasing Specifications, International Conference on Automated Software Engineering (ASE) 2011, pp. 233-242.
  154. Hong Mei, Xuanzhe Liu. Internetware: An Emerging Software Paradigm for Internet Computing. Journal of Computer Science and Technology, 26(4): 588-599.
  155. Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting runtime software architecture: A bidirectional-transformation-based approach, Journal of Systems and Software, 84(5):711-723.
  156. Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei, “Inferring Specifications for Resources from API Documentation in Natural Languages,” Automated Software Engineering: An International Journal, Vol. 18, No. 3-4, 2011, pp. 227-261.
  157. Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei, Instant and Incremental QVT Transformation for Runtime Models. Proceedings of International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), pp. 273-288.
  158. Wei Zhang, Haiyan Zhao, and Hong Mei, Binary-Search Based Verification of Feature Models, 12th International Conference on Software Reuse (ICSR’11), pp.4-19. (Nomination for Best Paper)
  159. Qian Wu, Guangtai Liang, Qianxiang Wang, Hong Mei, Mining Effective Temporal Specifications from Heterogeneous API Data, Journal of Computer Science and Technology, 26(6):1061-1075, 2011.
  160. Xuanzhe Liu, Qi Zhao, Gang Huang, Hong Mei, Composing Data-Driven Service Mashups with Tag-based Semantic Annotations. Proceedings of IEEE International Conference on Web Services (ICWS 2011), pp. 243-250.
  161. 176. Zan Xiao, Donggang Cao, Chao You, Hong Mei, Towards a Constraint-based Framework for Dynamic Business Process Adaptation, Proceedings of the IEEE International Conference on Services Computing (SCC 2011), July 2011, pp.685-692.
  162. Wei Zhang, Haiyan Zhao, Hong Mei, Towards a More Fundamental Explanation of Constraints in Feature Models: A Requirement-Oriented Approach, Proceedings of the 12th International Conference on Software Reuse (ICSR 2011), pp.36-51.
  163. Jin Shao, Qianxiang Wang, Hong Mei, Model Based Monitoring and Controlling for Platform-as-a-Service (PaaS), International, Journal of Cloud Applications and Computing, 2(1): 1-15, February 2012.
  164. Liang Gu, Guangdong Bai, Yao Guo, Xiangqun Chen, Hong Mei, Model Oriented Attestation on Dynamically Reconfigurable Component-Based Systems, Journal of Networking and Computer Applications, 35(3):974-981, 2012.
  165. Hong Mei, Gang Huang, Tao Xie, Internetware: A Software Paradigm for Internet Computing, Cover Feature, IEEE Computer, pp. 26-31, July 2012.
  166. Qi Zhao, Xuanzhe Liu, Xingrun Chen, Jiyu Huang, Gang Huang, Hong Mei, A Data Access Framework for Service-Oriented Rich Clients, Springer Journal of Service Oriented Computing and Applications, 6(2): 99-116, 2012.
  167. Ying Zhang, Gang Huang, Xuanzhe Liu, Hong Mei, Tuning Adaptive Computations for the Performance Improvement of Applications in JEE Server, Journal of Internet Services and Applications, 3(2): 143-158, Springer, 2012
  168. Hong Mei, Dan Hao, Lingming Zhang, Lu Zhang, Ji Zhou, Gregg Rothermel, A Static Approach to Prioritizing JUnit Test Cases, IEEE Transactions on Software Engineering, 38(6): 1258-1275, 2012.
  169. Dan Hao, Lu Zhang, Xingxia Wu, Hong Mei, Gregg Rothermel, On-Demand Test Suite Reduction, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), pp. 738-748, Zurich, Switzerland, June 2-9, 2012.
  170. SichenMeng, Xiaoyin Wang, Lu Zhang, Hong Mei, A History-Based Matching Approach to Identification of Framework Evolution, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), pp. 353-363, Zurich, Switzerland, June 2-9, 2012.
  171. Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang, Erica Lan, Hong Mei, Can I Clone This Piece of Code Here? Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 170-179, September 2012.
  172. Xiaoyin Wang, Lu Zhang, Tao Xie, YingfeiXiong, Hong Mei, Automating Presentation Changes in Dynamic WebApplications via Collaborative Hybrid Analysis, Proceedings of the 18th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE-20) , pp. 16, November 2012.
  173. Chao You, Minghui Zhou, Hongwu Lin, Zan Xiao, Hong Mei, Towards Online Localization and Recovery for Faulty Components in Component- Based Applications, Proceedings of the 36th Annual IEEE Computer Software and Applications Conference (COMPSAC 2012) , pp.138-147, Izmir, Turkey, July 16-20 2012. (Best paper award)
  174. Li Yi, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei, Mining Binary Constraints in the Construction of Feature Models, Proceedings of the 20th International Conference on Requirements Engineering (RE 2012), pp.141-150.
  175. Ying Zhang, Gang Huang, Xuanzhe Liu, Wei Zhang, Hong Mei, ShunXiang Yang, Refactoring Android Java Code for On-Demand Computation Offloading, Proceedings of the 27th ACM SIGPLAN International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA 2012), pp. 233-248, Tucson, Arizona, USA, 2012.
  176. 梅宏,黄罡,曹东刚,刘天成, 构件化软件系统的运行状态结构化显示方法, 专利号 200410062416.2
  177. 梅宏,黄罡,曹东刚,王千祥,构件化软件中非功能特征组装方法,专利号  200410048128.1
  178. 梅宏,周明辉,曹东刚,李妍,应用服务器公共服务松耦合接入方法,专利号 200710110674.7
  179. 梅宏,周明辉,林泊,曹东刚,一种J2EE应用服务器中Web容器的集成系统,专利号 200510130661.7
  180. 梅宏,曹东刚,田刚,张晓薇,网页资源发布方法和发布系统,专利号200710100294.5
  181. 梅宏,周明辉,曹东刚,林泊,文沛,动态网页的分块方法,专利号 200710110675.1
  182. 梅宏,曹东刚,周明辉,田亮,预取对象的方法,专利号 200710100340.1
  183. 梅宏,曹东刚,黄罡,刘天成,应用服务器的性能优化方法,专利 ZL 200410050035.2
  184. 王千祥,杨芙清,梅宏,构件化软件的在线演化方法,专利号 ZL 01136385.1
  185. 王千祥,黄罡,梅宏,杨芙清,软件构件实现多协议服务的方法,专利号 ZL 03101898.X
  186. 王千祥,王晓鹏,梅宏,杨芙清,构件化软件系统在线增加新功能的方法,专利号 ZL 200410000773.6
  187. 周明辉,曹东刚,梅宏,赵东,软件运行支撑平台接入消息服务的方法,专利号 200710110673.2
  188. 王千祥,梅宏,基于截取器的软件在线校验方法,专利号 200610011232.2
  189. 邓芳,王千祥,梅宏,一种EJB构件的动态迁移方法,专利号 200710120018.5
  190. 梅宏,邵维忠,软件库(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  191. 梅宏,邵维忠,工具箱(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  192. 梅宏,邵维忠,软件包(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  193. 梅宏,邵维忠,单体型开发环境(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  194. 梅宏,邵维忠,协同型开发环境(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  195. 梅宏,邵维忠,分散型开发环境(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  196. 邵维忠,梅宏,集成型开发环境(辞条),计算机科学技术百科全书(第一版),清华大学出版社,1998年8月
  197. 梅宏,邵维忠,工具箱(辞条),计算机科学技术百科全书(第二版),清华大学出版社,2005年11月
  198. 梅宏,谢涛,软件构件(辞条),计算机科学技术百科全书(第二版),清华大学出版社,2005年11月
  199. 梅宏,邵维忠,软件包(辞条),计算机科学技术百科全书(第二版),清华大学出版社,2005年11月
  200. 谢涛,梅宏,基于构件的软件开发方法(辞条),计算机科学技术百科全书(第二版),清华大学出版社,2005年11月
  201. 梅宏,黄柏素,SMALLTALK程序设计导论(译著),科学出版社,1998.7
  202. 黄柏素,梅宏,软件工程――实践者的研究方法(译自Pressman, Software Engineering--A Practitioner's Approach, 4th Edition),中国机械工业出版社,1999年10月
  203. 梅宏,软件工程――实践者的研究方法(译自Pressman, Software Engineering--A Practitioner's Approach, 5th Edition),中国机械工业出版社,2002年9月
  204. 杨芙清,梅宏(主编)软件复用与软件构件技术丛书:构件化软件设计与实现(黄罡、张路、周明辉等编著),清华大学出版社,2008年,北京。
  205. 杨芙清,梅宏(主编)软件复用与软件构件技术丛书:面向复用的需求建模(赵海燕、张伟、麻志毅等编著),清华大学出版社,2008年,北京。
  206. 杨芙清,梅宏(主编)软件复用与软件构件技术丛书:面向复用的软件资产与过程管理(谢冰、王亚沙、李戈等编著),清华大学出版社,2008年,北京。
  207. 梅宏,王千祥(主编),软件技术进展,2002’全国软件与应用学术会议(NASAC)论文集,机械工业出版社, 2002年11月
  208. 梅宏,李明禄(主编),软件技术进展,2003’全国软件与应用学术会议(NASAC)论文集,机械工业出版社, 2003年11月
  209. 梅宏,刘超(主编),软件技术进展,2004’全国软件与应用学术会议(NASAC)论文集,机械工业出版社, 2004年11月
  210. Ing-Ray Chen, Roland Ibbett, Hong Mei (Editors), Proceedings of the 29th Annual International Computer Software and Application Conference (COMPSAC 2005), IEEE Computer Society, July 2005
  211. 梅宏,吕建(特约编辑),软件体系结构,软件学报专刊,2006年第6期
  212. 梅宏,吕建(特约编辑),面向Internet的软件新技术,中国科学E辑专刊,2006年第10期
  213. Hong Mei (Editor), Proceedings of the 6th International Conference on Quality Software (QSIC 2006), IEEE Computer Society, October 2006
  214. Hong Mei, Jian Lu (Guest Editors), Special Issue on Software Technology for Internet Applications, Science in China (F), Vol. 49, No. 6, December 2006
  215. Fevzi Belli, Bruce McMillin, Hong Mei (Editors), Proceedings of the 31st Annual International Computer Software and Application Conference (COMPSAC 2007), IEEE Computer Society, July 2007
  216. Hong Mei, T. H. Tse (Guest Editors), Interntional Journal of Software Engineering and Knowledge Engineering, Vol. 17, No.6, December 2007
  217. Hong Mei (Editor), Proceedings of the 10th International Conference on Software Reuse (ICSR 2008), Lecture Notes in Computer Science, Springer, May 2008
  218. Hong Mei, Kenny Wong (Editors), Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), IEEE Computer Society, September 2008

 

获奖情况:

  • 1994年北京大学青年教师“安泰奖”
  • 1995年国家“八五”科技攻关电子行业先进个人
  • 1996年北京大学青年教师“安泰项目奖”
  • 1997年北京大学“大众奖教金”特等奖
  • 1997年霍英东基金青年教师奖(研究类)
  • 1997年中创软件人才奖
  • 1998年中国博士后基金会“国氏”博士后奖(现更名为中国优秀博士后奖)
  • 2000年获政府特殊津贴
  • 2001年获国家杰出青年科学基金
  • 2001年北京大学“杨王院士奖”
  • 2004年获第八届中国青年科技奖
  • 2005年获全国优秀博士后表彰大会表彰
  • 获聘2005年度教育部长江学者计划特聘教授
  • 入选2006年度国家百千万人才工程国家级人选
  • 2008年获国家自然科学基金委创新研究群体科学基金(群体带头人)
  • 2008年带领的团队被科技部授予“科技奥运先进集体”的荣誉称号
  • 2008年被科技部授予“科技奥运先进个人”荣誉称号
  • 2011年当选中国科学院信息技术科学部院士
  • 2012年获何梁何利基金科学与技术进步奖
  • 参与研制的“大型软件开发环境——青鸟系统”获:
    • ‘95电子十大科技成果
    • 国家“八五”科技攻关重大科技成果
    • 电子行业国家“八五”科技攻关重大科技成果(排名4)
    • 1996年电子工业部科技进步特等奖(排名9)
    • 1998年国家科技进步二等奖(排名3)。

  • 参与研制的“基于Internet、以构件 库为核心的软件开发平台”获:
    • 2006年国家科技进步二等奖(排名2)
  • 牵头研制的“构件化应用服务器核心技术与应用”获:
    • 2007年教育部中国高校技术发明一等奖(排名1)
    • 2008年国家技术发明二等奖(排名1)

  • 牵头研究的“全生命周期软件体系结构建模理论与方法”获:
    • 2010年高等学校自然科学一等奖(排名1)
    • 2012年国家自然科学二等奖(排名1)
  • 牵头研制的“国产中间件集成套件“四方国件”及其应用”获:
    • 2011年中国电子学会电子信息科学技术奖一等奖(排名1)

社会兼职和学术活动

一、 社会兼职

  • 863计划306主题软件重大项目监理(1998-2000)
  • 863计划“十五”计算机软硬件技术主题专家组成员(2001-2006)
  • 863计划“十一五”信息技术领域专家组成员(2006-2012)
  • 863计划“十二五”先进计算技术主题专家组组长(2012-今)
  • “十二五”国家科技重点专项(中国云专项)专家组副组长(2012-2015) 
  • 国家“核心电子器件、高端通用芯片和基础软件”重大科技专项实施专家组成员 (2008-2013)
  • 第十届、十一届、第十四届国家自然科学基金委员会计算机学科专家评审组成员(2004-2007, 2012-2013)
  • 工信部软件构件标准工作组组长(2003-今,2012年12月并入SOA分技术委员会)
  • 全国信标委SOA标准工作组 (2012年改名SOA分技术委员会)
    • 常务副组长(2009-2012),分技术委员会主任(2012-今)
    • 国际标准化专家组组长(2009-今)
    • SOA支撑技术与中间件专题组组长(2010-今)
  • 全国信息技术标准化技术委员会专家委员(2011-2016)
  • 中国软件行业协会软件工程分会理事长(2004-今)
  • 中国软件行业协会副理事长(2012-今)
  • 贝尔实验室中国基础科学研究院顾问(2001-2008)
  • 吉林大学、南京航空航天大学、中南大学兼职教授
  • 中国科学(信息科学)编委(2003-2012) 
  • Science China-Information Sciences常务副主编(2013-今)
  • 科学通报编委(2008-2013)
  • 软件学报编委(2002-今)
  • 电子学报编委(2001-今)
  • Chinese Journal of Electronics编委(2006-今)
  • Journal of Computer Science and Technology编委(2004-今)
  • 计算机研究与发展编委(2005-今)
  • International Journal of Web Services Research (JWSR)编委(2006-今)
  • IEEE Transactions on Service Computing 编委(2008-今)
  • International Journal of Software and Informatics编委(2007-今) 
  • Journal of Systems and Software编委(2013-今)  The Springer Journal: Software and System Modeling 编委(2013-今)
  • 自然科学进展编委(2004-今)
  • Frontiers of Computer Science and Software in China编委(2007-今)
  • 中国计算机学会常务理事(2004-今)、软件工程专业委员会主任(2001-2008)、系统软件专业委员会主任(2008-今)
  • 中国计算机学会青年工作委员会副主任(2000-2004)
  • 中国电子学会IFIP工作委员会委员(2002-2005)
  • 国务院学位委员会计算机科学技术学科第4、第5届评议组秘书(1998-2008),第6届评议组成员(2009-今)
  • 第六届教育部科学技术委员会信息学部委员(2009-今)

二、 学术会议

  • TOOLS’97 ASIA、TOOLS’98 ASIA、TOOLS’99 ASIA程序委员会委员(International Conference on Technology of Object-Oriented Languages)
  • IFIP WCC2000/ICS2000国际会议程序委员会委员、论文评审人及分会主席(北京, 2000.8)
  • The 25th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2001)程序委员会委员(Chicago, USA, 2001.10)
  • The 8th Asia-Pacific Software Engineering Conference(APSEC2001)程序委员会委员(澳门, 2001.12)
  • 2001年8月“全国软件技术与软件产业研讨会”程序委员会主席,大连
  • IFIP WCC2000/ICEUT国际会议IFIP/ACM/IEEE Panel: Computing Curricula 2001的Panelist(北京, 2000.8)
  • The 4th International Conference on Formal Engineering Methods (ICFEM2002) 程序委员会委员(上海, September 24-27, 2002)
  • The 26th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2002)程序委员会委员(Oxford, UK, 2002. 8)
  • The ICSM 2002 (IEEE International Conference on Software Maintenance) 程序委员会委员 (Montréal, Canada, 2002. 10)
  • HASE 2002 (Seventh IEEE International High-Assurance Systems Engineering Symposium) 程序委员会委员 (Tokyo, Japan, 2002.10)
  • 2002年11月“全国软件与应用学术会议(NASAC2002)”程序委员会主席,北京
  • The Third International Conference on Quality Software(QSIC 2003)程序委员会委员(Dallas, Texas, USA, November 6 - 7, 2003)
  • The ICSM 2003 (IEEE International Conference on Software Maintenance) 程序委员会委员 (Amsterdam, The Netherlands, 2003. 9. 22-26)
  • 2003年11月14-15 “全国软件与应用学术会议(NASAC2003)”程序委员会主席,上海
  • The SPLC 2004 (The Third Software Product Line Conference) 程序委员会委员 (Boston, Massachusetts, August 30-September 2, 2004)
  • The ICSM 2004 (IEEE International Conference on Software Maintenance) 程序委员会委员 (Chicago Illinois, USA, 2004. 9. 11-17 )
  • The APWeb 2005 (The Seventh Asia Pacific Web Conference)程序委员会委员(Shanghai, China, March 29 - April 1, 2005 )
  • The ICSM 2005 (IEEE International Conference on Software Maintenance) 程序委员会委员(Budapest, Hungary, Sept 25-30, 2005)
  • The QSIC 2005 (the Fifth International Conference on Quality Software)程序委员会委员(Melbourne, Australia, September 19-21, 2005)
  • The GPCE 2005 (Fourth International Conference on Generative Programming and Component Engineering) 程序委员会委员(Tallinn, Estonia, Sep 29 - Oct 1, 2005)
  • The MoDELS2005/UML (the 8th International Conference on Model Driven Engineering Languages and Systems)程序委员会委员(Jamaica, 2-7 October, 2005)
  • The COMPSAC 2005 (the 29th Annual International Computer Software and Applications Conference) 程序委员会共同主席 (Edinburgh, UK, 26-28 July 2005)
  • The SEKE 2006 (the 18th International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (San Francisco Bay, USA, July 5-7, 2006)
  • The ICWS 2006 (the 2006 IEEE International Conference on Web Services ) 程序委员会委员 (September 18-22, 2006, Chicago, USA)
  • The COMPSAC 2006 (the 30th Annual International Computer Software and Applications Conference) 程序委员会委员 (Chicago, USA, September 18-21, 2006)
  • The ICSM 2006 (the 22nd IEEE International Conference on Software Maintenance) 程序委员会委员(Philadelphia, Pennsylvania, USA, Sept 24-27, 2006)
  • The QSIC 2006 (the 6th International Conference on Quality Software)程序委员会主席(Beijing, China, Oct 26-28, 2006)
  • The SEKE 2007 (the 19th International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (Boston, USA, July 9-11, 2007)
  • The COMPSAC 2007(The 31st Annual International Computer Software and Application Conference)程序委员会共同主席(Beijing, China, July 23-27, 2007 )
  • The QSIC 2007(The 7th International Conference on Quality Software)程序委员会委员(Portland, USA, Oct 11-12, 2007)
  • The ICSR 2008 (The 10th International Conference on Software Reuse)程序委员会主席(Beijing, China, May 25-29, 2008)
  • The COMPSAC 2008 (The 32nd Annual InternationalComputer Software and Application Conference)指导委员会成员(Turku, Finland, July 28- Aug 1, 2008 )
  • The QSIC 2008(The 8th International Conference on Quality Software)程序委员会委员(Oxford, UK, Aug 12-13, 2008)
  • The ICWS 2008(The 6th International Conference on Web Services)大会主席(Beijing, China, Sep 23-26, 2008)
  • The ICSM 2008(The 24th International Conference on Software Maintenance)程序委员会主席(Beijing, China, Sep 28-Oct 4, 2008)
  • The ICWS 2009(The 7th International Conference on Web Services)宣传主席(Los Angeles, CA, USA, July 6-10, 2009)
  • The COMPSAC 2009 (The 33th Annual InternationalComputer Software and Application Conference)指导委员会成员(Seattle, Washington, USA, July 20- 24, 2009 )
  • The QSIC 2009 (The 9th International Conference on Quality Software)程序委员会委员(Jeju, Korea, Aug 24-25, 2009)
  • The SEKE 2010 (the 22nd International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (San Francisco Bay, USA, July 1-3, 2010)
  • The ICWS 2010(The8th International Conference on Web Services)程序委员会委员(Miami, Florida, USA, July 5-10, 2010)
  • The QSIC 2010 (The 10th International Conference on Quality Software)程序委员会委员(Zhangjiajie, China, July 14-15, 2010)
  • The COMPSAC 2010 (The 34th Annual InternationalComputer Software and Application Conference)指导委员会成员(Seoul, South Korea, July 19- 23, 2010 )
  • The ICSR 2011 (The 12th International Conference on Software Reuse)Workshop主席(Pohang, Korea, June 13-16, 2011)
  • The ICWS 2011(The 9th International Conference on Web Services)技术程序委员会委员(Washington, DC, USA, July 4-9, 2011)
  • The SEKE 2011 (the 23rd International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (Eden Roc Renaissance Miami Beach, USA, July 7-9, 2011)
  • The QSIC 2011 (The 11th International Conference on Quality Software)程序委员会委员(Madrid, Spain, July 13-14, 2011)
  • The COMPSAC 2011 (The 35th Annual InternationalComputer Software and Application Conference)指导委员会成员(Munich, Germany, July 18- 21, 2011 )
  • The ASE 2011 (The 26th IEEE/ACM International Conference on Automated Software Engineering)程序委员会委员(Lawrence, Kansas, Nov 6-10, 2011)
  • The FAW-AAIM 2012(The 6th International Frontiers of Algorithmics Workshop and the 8th International Conference on Algorithmic Aspects of Information and Management)大会共同主席(Beijing, China, May 14-16, 2012)
  • The ICSE 2012(The 34th International Conference on Software Engineering)程序委员会委员(Zurich, Switzerland, June 2-9, 2012)
  • The ECOOP 2012 (The 26th European Conference on Object-Oriented Programming) 大会联合主席 (Beijing, China, June 11-16, 2012)
  • The SEKE 2012 (the 24th International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (San Francisco Bay, USA, July 1-3, 2012) 
  • The COMPSAC 2012 (The 36th Annual International Computer Software and Application Conference)指导委员会和程序委员会成员(Izmir, Turkey, July 16- 20, 2012) 
  • The QSIC 2012(The 12th International Conference on Quality Software)程序委员会委员(Xi’an, China, August 27-29, 2012) 
  • The SPLC 2012(The 16th International Software Product Line Conference)程序委员会成员(Salvador, Brazil, September 2-7, 2012) 
  • The ASE 2012(The 27th IEEE/ACM International Conference on Automated Software Engineering)Expert Review Panel(Essen, Germany, September 3-7, 2012) 
  • The MODELS 2012 (The 15th International Conference on Model Driven Engineering Languages and Systems)程序委员会成员(Innsbruck, Austria, September 30-October5, 2012) 
  • The ICSR 2013 (The 13th International Conference on Software Reuse)程序委员会成员(Pisa, Italy, June 18-21, 2013) 
  • The SEKE 2013 (the 25th International Conference on Software Engineering and Knowledge Engineering ) 程序委员会委员 (Boston, USA, June 27-29, 2013) 
  • The COMPSAC 2013 (The 37th Annual International Computer Software and Application Conference)指导委员会和程序委员会成员(Kyoto, Japan, July 22- 26, 2013 ) 
  • The ICSM 2013(The 28th International Conference on Software Maintenance)程序委员会成员(Eindhoven, The Netherlands, September 22-28, 2013) 
  • The MODELS 2013 (The 16th International Conference on Model Driven Engineering Languages and Systems)程序委员会成员(Miami, Florida, USA, September 29-October 4, 2013) 
  • The ICFEM 2013 (the 15th International Conference on Formal Engineering Methods) 程序委员会成员 (Queenstown, New Zealand, October 29–November 1, 2013) 
  • The ASE 2013(The 28th IEEE/ACM International Conference on Automated Software Engineering)Expert Review Panel(Palo Alto, California, USA, November 11-15, 2013)

三、 学术报告

  • 2000.8作为863第四期“全国计算机高级人才培训班”主讲专家,讲授“软件构件技术”
  • 2002.5.22于南京大学百年校庆“世界著名科学家论坛”“软件新技术”分会场作“软件复用和软 件构件技术――漫谈及反思”的学术报告
  • 2002.10.21于南京航空航天大学50年校庆“名家讲座”做“软件工程现状和进展”的学术报告
  • 2003.3.2于日本International Workshop on Robust Software Construction (WRSC 2003)上做“ABC: Architecture-based Component Composition”的特邀报告
  • 2004.5.4于美国AVAYA Lab做“ABC: Architecture-based Component Composition”的学术报告
  • 2004.6.1于中国科学院技术科学部第10次技术科学论坛“信息技术科学”上做 “Internet时代的软件技术”的学术报告
  • 2004.9.30于The SEFM2004 (the 2nd International Conference on Software Engineering and Formal Methods )做“ABC: Supporting Software Architectures in the Whole Lifecycle”的特邀报告
  • 2005.2.27于日本The 3rd Workshop on Programmable Structured Documents (PSD 2005)上做“ABC: Supporting Software Architectures in the Whole Lifecycle”的特邀报告
  • 2006.2.21于中国科学院信息技术科学部第19次技术科学论坛“软件技术”上做“基于体系结 构、面向构件的软件开发方法ABC”的学术报告
  • 2008.2.21于中国科学院第34次技术科学论坛“软件技术、产业发展趋势与战略”上做“面向Internet的软件运行平台——原理、模型与实现”的学术报告
  • 2008.2.24-29于台湾的新竹交通大学、东海大学、台湾大学和成功大学做了4场介绍网构软件和ABC方法的学术报告
  • 2009.1.5于日本The 2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition做“Transformation Issues in ABC”的报告
  • 2009.2.10于IBM中国研究院做“Internetware: A New Paradigm for Internet-based Software”的学术
  • 2010.7.20于韩国 The 34th Annual IEEE International Computer Software and Applications Conference受邀在 Panel:“Challenges and Furture Directions of Software Technology”上做了网构(Internetware)方面的特邀报告