论文部分内容阅读
<正>本刊讯由教育部科学技术委员会组织评选的2014年度"中国高等学校十大科技进展"日前在京揭晓。由北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室梅宏院士担任负责人,北京大学为申报学校,南京大学为合作单位的项目"网构软件理论、方法与技术"榜上有名。这也是信息、电子、计算机领域唯一入选项目。教育部对该项目的介绍如下:互联网正在逐步演化成一个全球泛在的计算平台,其开放、动态和难控的特性对软件技术提出了一系列重大挑战。以北京大学梅