新闻动态-高可信软件技术教育部重点实验室(北京大学)

关于

新闻动态

首页 >> 新闻动态

赵海燕副教授应邀赴德参加Dagstuhl Seminar on Requirements Management–Novel Pe...

2012年10月28-31日赵海燕副教授应邀赴德参加为期三天的Dagstuhl Seminar onRequirements Management–Novel Perspectivesand Challenges。Dagstuhl Seminar 是德国政府资助、目前世界上最具影响力的信息技术...

2012-12-20

国家973计划项目“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基...

2012年10月30-31日，国家973计划项目“基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究”年度研讨会在青岛举行。项目六个课题组的核心骨干及咨询组专家(戴国忠老师,钱华林老师）和专家...

2012-12-20

梅宏、金芝等参加第四届亚太网构会议

2012年10月30-31日，第四届亚太网构会议（The Fourth Asia-Pacific Symposium on Internetware：Internetware 2012 ）在青岛召开。该系列会议由梅宏院士担任首席科学家的国家973计划项目发起，中国计算机学会...

2012-12-20

实验室所开设的两门课程获得2012年北京大学教学成果一等奖。

以“问题求解导向的数据结构与算法实践教学”（张铭、赵海燕、王腾蛟、宋国杰、郝丹）获得2012年北京大学教学成果一等奖，并获推荐北京市级二等奖；“以综合能力和创新能力培养为导向的软件工程课程体系建设...

2012-12-20

张世琨和王亚沙被授予“国家工程研究中心先进工作者”称号。

2012 年11月16日下午，国家发展改革委在深圳隆重召开国家创新能力建设和国家信息化建设授牌表彰大会。会议对长期以来在国家创新能力建设工作中做出突出贡献的个人、取得优秀成绩的工程中心集体和个人进行了表...

2012-12-20

首页上页1...6970717273下页尾页