News

Site News

"国产中间件集成套件四方国件及其应用"成果获2011年度中国电子学会电子信息科学技术奖一等奖

由山东中创软件工程股份有限公司、北京大学、北京航空航天大学、中国人民解放军国防科学技术大学、中国科学院软件研究所、山东中创软件商用中间件股份有限公司、深圳市金蝶中间件有限公司、东方通有限公司等单位联合完成的"国产中间件集成套件四方国件及其应用"获得2011年度中国电子学会电子信息科学技术奖一等奖。梅宏教授为成果第一完成人，曹东刚副教授为第六完成人。

Miryung Kim访问实验室并做学术报告

美国University of Texas, Austin的Assistant Professor Miryung Kim于2012年1月4日上午访问了我实验室，并做了题为“Analysis and Automation of Systematic Program Modifications”的学术报告

2011年10月20日，杨芙清院士、梅宏教授、张路教授和黄罡教授代表高可信软件技术教育部重点实验室（北京大学）参加了教育部科技司在中国地质大学国际会议中心举行的信息领域重点实验室综合评优会议，梅宏教授代表实验室做了汇报。

2011年10月20日，杨芙清院士、梅宏教授、张路教授和黄罡教授代表高可信软件技术教育部重点实验室（北京大学）参加了教育部科技司在中国地质大学国际会议中心举行的信息领域重点实验室综合评优会议，梅宏教授代表实验室做了汇报。在此前教育部科技司组织的分组现场评估中，本实验室取得了小组第一的佳绩。此次评优会共有5个组现场评估排前两名的共10个实验室参加，其中将评出4个优秀实验室。

我所作为协办单位，参与了“首届全国电子科学与信息技术创新发展博士后学术论坛”暨第二届“全国计算机学科博士后论坛”的组织工作。2011年12月1日-2日，论坛在湖南长沙举办，我所谢冰教授负责组织了其中“软件工程”分论坛。

 

2011年11月18日（星期五）下午，王亚沙老师代表北京大学软件工程国家研究中心参加了中关村创新平台召开中关村科学城院校企第二次项目对接会，并在此会议上与神州数码公司的代表共同签署了智慧城市领域的合作意向书。中共北京市委副秘书长傅华等北京市和海淀区领导参加了此次会议。

 

2011年11月8日上午，北京市科学技术委员会主任闫傲霜率调研组一行在北京大学科学研究部副部长蔡晖、信息学院院长梅宏教授的陪同下来到高可信软件技术重点实验室。

2011年11月8日上午，北京市科学技术委员会主任闫傲霜率调研组一行在北京大学科学研究部副部长蔡晖、信息学院院长梅宏教授的陪同下来到高可信软件技术重点实验室。随同前来的包括市科委副主任郑焕敏、市经信委副主任万新恒，市科委办公室主任周晓柏、发展计划处处长侯国光、电子信息与装备制造处处长万荣、生物医药处处长巴纪兴，以及杨立冰、李玮等。王亚沙副教授介绍了实验室的研究工作及成果，并就实验室在智慧城市领域的研究进展和计划进行了较为详细的汇报。调研组成员对实验室取得的一系列科研成果表示充分肯定，并对智慧城市的研究方向提出了建议。信息学院党委书记、副院长魏中鹏，院长助理蒋云，焦秉立教授、吴文刚教授、张路教授、李戈副教授等也参加了座谈交流会。

高可信软件技术教育部重点实验室2011年年会召开

 

英国Open Univ.的Yijun YU博士的学术报告“Open∞: Linking Problems and Solutions ”成功举办

12月21日下午，来访我所的英国Open Univ.的Yijun YU博士在1501以“Open∞: Linking Problems and Solutions ”为题进行了精彩的学术报告，会议由金芝教授主持。来自中科院数学所、计算机所，清华大学和我们研究所的近20名师生参加，并与Yu博士从需求层面的问题框架到底层实现的自适应和自调整支持机制，进行了广泛而深入的交流和讨论，为将来的合作打下了一个良好的基础。

金芝教授、赵海燕博士赴上海参加International Workshop on Evolving Critical Software Systems

金芝教授、赵海燕博士赴上海参加了与12月6-7日举行的International Workshop on Evolving Critical Software Systems。金芝教授做了Modeling Trustworthy Requirements: Does Control Theory Help?为题的特邀报告，赵海燕博士就Feature-Oriented Software Reuse: From an Evolutionary Perspective为题做了学术报告。并与参会的40多名中外学者和研究人员进行了充分深入的交流。

高可信软件国际研讨会顺利举行

2011年高可信软件国际研讨会（International Symposium on High Confidence Software）于12月16日和12月17日在北京大学，其间14名国内外知名学者应邀在会上做了口头报告，与会者还讨论了十余份Research Posters，并进行了热烈的会场讨论。

黄罡教授赴德参加为期一周的Dagstuhl Seminar on Models@Runtime

Dagstuhl Seminar是德国政府资助、目前世界上最具影响力的信息技术前沿论坛。本次论坛围绕运行时模型的概念、理论、方法、技术、应用等多个方面，40多位来自世界各地的研究人员进行了全面深入地探讨，形成了若干关键性的共识。

转载：“做有用的研究”——访中国科学院院士梅宏

北大新闻网梅宏院士专访

热烈祝贺梅宏教授当选中科院院士

 

国家973计划项目“高效可信的虚拟计算环境基础研究”2011年度工作会议在北大举行

 

周明辉和赵俊峰参加了OW2年会

2011年11月22日到26日，开源组织OW2在法国巴黎举行2011年会。周明辉和赵俊峰代表北大参加了会议，包括OW2董事会和技术年会等。会上周明辉给了"Developing community management metrics and tools for OSS"的报告，赵俊峰给了"The Introduction of Management of Trustworthiness Software Resource"的报告 (http://www.ow2.org/view/OW2Con-2011/Sessions_Squat)。此外，周明辉还应邀参加了"Round Table: The Future of Open Source Cloud Computing"的讨论(http://www.ow2.org/view/OW2Con-2011/Sessions_Round_Table).

973项目“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究”2011年年度会议在南宁召开

 

本实验室在2011年度教育部重点实验室评估中被评为优秀

 

梅宏教授,王千祥教授,陈向群教授,赵海燕博士,周明辉博士参加了NASAC2011

“2011年全国软件与应用学术会议（NASAC2011）”于2011年10月28日至30日在长春举行。梅宏教授,王千祥教授,陈向群教授,赵海燕博士,周明辉博士参加了会议。

学术交流:实证软件工程—程序员成熟度的度量

2011年10月20日，周明辉博士在信息科学技术学院青年论坛上做了报告“实证软件工程——程序员成熟度的度量”。10月29日，在NASAC2011的青年学者论坛上做了同样主题的报告。

2011年10月16-21日，博士生宋晖参加了在新西兰举行的第14届MODELS大会并宣读了论文

Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei. Instant and Incremental QVT Transformation for Runtime Models. MODELS 2011.