新闻动态

首页 >> 新闻动态
熊英飞研究员课题组提出攻克软件缺陷修复过拟合问题的新途径
软件缺陷自动修复是近年来兴起的新研究领域。给定一组测试，其中包含没有通过的测试，软件缺陷自动修复技术通过不断修改程序最终使得所有测试都得以通过。但是，软件缺陷修复却有一个与生俱来的重大缺陷：修复与测试...
2016-01-12
黄罡教授、刘譞哲副教授课题组在面向云-端融合的移动应用与服务优化方面取得显著进展
随着云计算模式的发展,移动App已经成为互联网用户接入和使用云服务的主要入口。为了使得移动App提供更好的功能和用户体验，黄罡教授、刘譞哲副教授课题组在国家863计划课题“云端和终端资源自适应协同与调度平台”的...
2016-01-12
《志愿树》获“下一代互联网技术创新大赛一等奖”
2015年12月20日,由教育部科技发展中心主管\赛尔网络有限公司主办的第一届下一代互联网技术创新大赛在清华大学落下帷幕。获得一等奖的项目分别为北京大学“志愿树”、清华大学“智联----移动校园上网神器”、大连理工...
2015-12-29
"构件化软件中非功能特征组装方法"获中国专利优秀奖
2015年12月15日，由中华人民共和国国家知识产权局和世界知识产权组织共同主办的第十七届中国专利奖颁奖大会在北京举行。《构件化软件中非功能特征组装方法》获得中国专利优秀奖，专利号：ZL200410048128.1 、发明人：...
2015-12-28
华为传感器应用实验室首席科学家丁险峰博士一行访问重点实验室
2015年11月28日，华为传感器应用实验室首席科学家丁险峰博士、技术规划部主任曹华俊访问重点实验室，与张大庆教授进行了深入的交流，并探索了未来合作的可能。
2015-12-22
首页上页1...5556575859...76下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education