梅宏论文发表

一、社会兼职863计划306主题软件重大项目监理（1998－2000）863计划“十五”计算机软硬件技术主题专家组成员（2001－2006）863计划“十一五”信息技术领域专家组成员（2006－今）第十届、十一届国家自然科学基金委员会计算机学科专家评审组成员（2004-2007）信息产业部软件构件技术标准工作组组长中国软件行业协会软件工程分会理事长贝尔实验室中国基础科学研究院顾问南京航空航天大学兼职教授中国科学F辑（信息科学）编委软件学报编委电子学报编委Chinese Journal of Electronics编委Journal of Computer Science and Technology编委计算机研究与发展编委International Journal of Web Services Research (JWSR)编委自然科学进展编委Frontiers of Computer Science and Software in China编委中国计算机学会常务理事、软件工程专业委员会主任中国计算机学会青年工作委员会副主任（2000-2004）中国共创软件联盟理事中国电子学会高级会员、中国计算机学会高级会员中国电子学会IFIP工作委员会委员（2002－2005）国务院学位委员会计算机科学技术学科第4、第5届评议组秘书二、学术会议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)程序委员会委员（2001.10，Chicago）the 8th Asia-Pacific Software Engineering Conference（APSEC2001）程序委员会委员（2001.12，澳门）IFIP WCC2000/ICEUT国际会议IFIP/ACM/IEEE Panel: Computing Curricula 2001的Panelist（2000.8，北京）4th International Conference on Formal Engineering Methods (ICFEM2002) 程序委员会委员（September 24-27, 2002，上海）The 26th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2002)程序委员会委员（2002. 8，Oxford, UK）The ICSM 2002 (IEEE International Conference on Software Maintenance) 程序委员会委员 (2002. 10, Montréal, Canada)HASE 2002 (Seventh IEEE International High-Assurance Systems Engineering Symposium) 程序委员会委员 (2002.10，Tokyo, Japan)2001年8月“全国软件技术与软件产业研讨会”程序委员会主席，大连2002年11月“全国软件与应用学术会议（NASAC2002）”程序委员会主席，北京The WRSC 2003 (International Workshop on Robust Software Construction) 特邀报告人 (2003. 2. 28-3. 2, Hayama, Kanagawa, Japan)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) 程序委员会委员 (2003. 9. 22-26, Amsterdam, The Netherlands)2003年11月14-15 “全国软件与应用学术会议（NASAC2003）”程序委员会主席，上海The SPLC2004 (The Third Software Product Line Conference) 程序委员会委员 (August 30-September 2, 2004, Boston, Massachusetts)The ICSM 2004 (IEEE International Conference on Software Maintenance) 程序委员会委员 (2004. 9. 11-17, Chicago Illinois, USA)The SEFM2004 (the 2nd International Conference on Software Engineering and Formal Methods )特邀报告人(28-30 Sept. 2004, Beijing, China)The PSD 2005 (the third international workshop on Programmable Structured Documents) 特邀报告人(January 26 – 28, 2005, Yokohama, Japan)APWeb05 (The Seventh Asia Pacific Web Conference)程序委员会委员(March 29 - April 1, 2005, Shanghai, China)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'05 (Fourth International Conference on Generative Programming and Component Engineering) 程序委员会委员(Sep 29 - Oct 1, 2005, Tallinn, Estonia)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)三、学术报告863第四期“全国计算机高级人才培训班”主讲专家，讲授“软件构件技术”（2000.8）2002.5.22于南京大学百年校庆“世界著名科学家论坛”“软件新技术”分会场作“软件复用和软件构件技术――漫谈及反思”的学术报告。2002.10.21于南京航空航天大学50年校庆“名家讲座”做“软件工程现状和进展”的学术报告2003.3.2于日本International Workshop on Robust Software Construction (WRSC 2003)上做“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”的学术报告

1984.3-1984.7，本科毕业设计：线切割机微机控制系统的实现（已用于工业生产，系统主要实现者）1985.9-1987.5，硕士学位论文：交互式计算机辅助排料系统ICANS（已用于工业生产，系统实现者）1989.9-1992.9，博士学位论文：函数式面向对象程序设计语言FOPL—设计及实现（受国家自然科学基金及863计划资助）1992.12-1995.5，国家“八五”科技攻关课题：“集成化软件工程开发环境（CASE）的标准化与实用化（85－712－1）”，课题主要骨干，技术组成员，JB2系统集成组组长。课题于1995年5月3日通过电子工业部主持的专家鉴定，专家认为“JB2型在系统规模和技术水平上达到国际先进水平”。1992.12-1994.6，863计划课题：“面向对象的智能化软件原型生产技术及系统（863－306－02－03－3）”，技术负责人，协助杨芙清院士主持设计及实现工作。课题于1994年6月15日通过专家鉴定，成果“居国内外同类研究先进水平”。1993.6-1995.3，博士后基金课题：“面向对象的软件过程模型研究”，课题负责人。1994.8-1996.4，863计划课题：“基于复用的面向对象智能化软件生产技术（863－306－02－01－01）”，技术负责人，协助杨芙清院士主持设计及实现工作，已于1996年4月18日通过专家鉴定，成果“国内领先，国际先进”。1995.11-1997.11，国家“九五”重点科技攻关项目：“软件工程环境（青鸟CASE）工业化生产技术及系统的研究开发（96－729）”（一期工程）。技术组成员，专题负责人。于1997年11月通过专家鉴定，专家认为“青鸟Ⅲ型系统…在基于构件/构架模式的软件工业化生产技术研究方面具有创造性和系统性，在系统规模和技术上均居国内领先水平，达到当前国际先进水平，并具有很好的实用性。将为我国软件产业的技术革命和形成规模经济起到很好的技术支持和保障作用。”1996.1-1998.9，国家教委博士点基金课题：“对象的说明型形式化语义模型研究（9500138）”，课题负责人。1996.1-1998.12，国家自然科学基金课题：“基于主动对象模型的面向对象软件开发方法及其支撑系统（69573002）”，第二负责人。1996.8-1998.6，863计划课题：“基于构件、构架复用的面向对象软件开发技术及其系统（863－306－02－05－01）”。课题负责人之一，于1998年7月1日通过专家鉴定，专家认为“成果达到国内领先和国际先进水平”。1998.2-2000.11，国家“九五”重点科技攻关项目：“软件工程环境（青鸟CASE）工业化生产技术及系统的研究开发（98－780）”（二期工程）。技术组成员、专题负责人。项目于2000年12月22日通过科技部组织的验收。1998.6-2001.6，云南省人民政府和北京大学省校合作项目：“青鸟软件生产线系统的引进、推广及示范工程”。技术负责人。项目于2001年7月通过云南省科委组织的验收。1998.12-2000.12，教育部重点科学技术预研项目：“软件开发过程自动化的理论和方法研究（98005）”，技术负责人。1998.12-2000.11，863计划课题：“软件构件组装技术及工具研究（863－306－ZT02－02－2）”。课题负责人。课题于2000年12月13日通过863专家组验收。验收专家认为：课题“采用SA研究和CBSD研究融为一体的技术路线，在构件描述语言、复杂连接子、组合构件和胶合代码生成等关键技术方面取得了突破和进展”，“较国际同类工作相比具有自己的特色”，“研究成果通过青鸟工程，…显示出良好的应用前景”，综合评价为A-。2000.9-2002.12，贝尔实验室合作研究课题：“特征交互及构件组装”。课题负责人。2000.9-2002.12，自然科学基金课题：“面向软件体系结构（SA）的软件构造技术研究（60043002）”，课题负责人。结题评价为“特优”。2001.1-2002.12，教育部留学回国人员启动基金课题：“基于软件体系结构的构件组装技术研究”，课题负责人。2001.1-2002.12，2000年度教育部优秀青年教师资助计划项目：“软件构件组装技术及理论研究”，课题负责人。2002.1-2004.12，教育部博士点基金：“面向构件的领域工程技术研究（20010001001）”，课题负责人。2002.1-2005.12，国家杰出青年科学基金：“软件构件组装技术及理论研究（60125206）”，课题负责人。2002.1－2003.12，教育部科学技术研究重大项目：“面向领域的应用中间件（重大0214）”，课题负责人2003.1－2006.12，自然科学基金重点课题：“软件的特征交互及互操作性的研究（60233010）”，课题负责人。2002.12－2007.8，国家重点基础研究发展计划（973计划）项目：“Internet环境下基于Agent的软件中间件理论和方法研究（2002CB312000）”，首席科学家2003.6－2005.5，国家科技攻关计划课题：“奥运信息系统模型的研究与建立（2003BA904B02）”，课题负责人。2006.1－2008.12，自然科学基金海外青年学者合作研究基金：“ABC方法中的求精变换技术研究（60528006）”，课题共同负责人（负责人为东京大学情报理工学院胡振江副教授）2006.1－2008.12，自然科学基金课题：“面向网络计算环境的开放软件模型研究” （90612011），课题负责人。2006.12－2008.12，国家科技支撑计划课题：“现代服务业共性服务集成化技术研究”（2006BAH02A02），课题负责人。