关于
首页
新闻动态
机构人员
组织结构
人员队伍
学术研究
研究方向与内容
奖励与荣誉
标准与规范
专著与教材
软件著作权
项目
论文
专利
开放与交流
开放课题
交流互访
年度报告
2018
2017
2016
2015
2019
2020
2021
2022
运行管理
管理规章
资源共享
Open Menu
首页
新闻动态
机构人员
组织结构
人员队伍
学术研究
研究方向与内容
奖励与荣誉
标准与规范
专著与教材
软件著作权
项目
论文
专利
开放与交流
开放课题
交流互访
年度报告
2018
2017
2016
2015
2019
2020
2021
2022
运行管理
管理规章
资源共享
新闻动态
首页
>>
新闻动态
重点实验室两篇论文被软件工程顶级会议ICSE'17录用
近日,ICSE`17通知,重点实验室两篇论文被该顶级会议录用:一篇论文关注缺陷修复问题。论文利用现有软件库中的大量代码,通过从现有代码中进行学习,将修复正确率从不到40%提高到了接近80%。论文的作者包括熊英飞研究...
2017-01-03
高可信软件技术教育部重点实验室年会暨第六届高可信软件研讨会在北京召开
2016年高可信软件技术教育部重点实验室年会于2016年12月17日上午在北京大学中关新园召开,参加会议的人员有重点实验室成员、博士研究生的代表、国际指导委员会委员等90余人。会议的主要内容:梅宏主任致欢迎词,对与...
2016-12-22
重点实验室学术委员会2016年度会议在北京大学召开
高可信软件技术教育部重点实验室学术委员会2016年度会议于12月9日在北京大学召开。参加会议的有:林惠民、陆汝钤、吕建、徐宝文、赵文耘、金海、梅宏、陈钟等学术委员会委员,大学科研部何洁及重点实验室副主任金芝、...
2016-12-22
黄罡教授在国际会议CollaborateCom 2016上作特邀主题报告
2016年11月12日,黄罡教授应邀在国际会议12th EAI International Conference on Collaborative Computing:Networking,Applications and Worksharing(CollaborateCom)作“Services Computing for Big Data:Challenges...
2016-12-02
孙艳春副教授在全国软件与应用学术会议(NASAC2016)的教学论坛做特邀报告
2016年11月4日,孙艳春副教授在全国软件与应用学术会议(NASAC2016)的教授论坛做特邀报告,报告题为“以综合能力和创新能力培养为导向的软件工程课程设计”,并与会者进行了广泛的交流。
2016-12-02
首页
上页
1
...
41
42
43
44
45
...
76
下页
尾页