新闻动态

首页 >> 新闻动态
金芝教授等参加第20届IEEE国际需求工程会议
        2012年9月24-28日，实验室金芝教授、赵海燕副教授、张伟副教授和博士生易立等四人赴美国芝加哥参加第20届IEEE国际需求工程会议。本次会议共接受发表26篇正式论文和11项工具演示，其中，实验室有1篇正式论文和...
2012-12-20
赵俊峰副教授参加ISO/IEC JTC1 SC38的年会和SC38云计算工作组的讨论会。
        2012年9月25--28日，实验室赵俊峰副教授前往瑞典斯德哥尔摩参加了ISO/IEC JTC1 SC38的年会与SC38云计算工作组的讨论会。会上讨论了云计算术语、云计算参考架构两个国际标准提案，并形成了相应的修改稿，之后...
2012-12-20
张路和郭耀参加第23届自动化软件工程国际会议(ASE 2012)
        2012年9月第23届自动化软件工程国际会议(ASE 2012)在德国埃森举行。实验室共有2篇文章被此次会议录用。张路教授和郭耀副教授参加了本次会议，宣读了相关论文，并与会人员进行了广泛交流。
2012-12-20
梅宏、金芝等参加第十一届全国计算机软件及应用会议（NASAC 2012）
        2012年10月20-22日，第十一届全国计算机软件及应用会议（NASAC 2012）在南京召开。该系列会议是中国计算机学会软件工程专委与系统软件专委联合主办的主要学术活动，本次会议由南京航空航天大学承办。会议与《...
2012-12-20
国家863计划重点项目“高可信软件生产工具与集成环境”通过验收。
        2012年10月25日，科技部在北京主持召开了“十一五”国家863计划重点项目“高可信软件生产工具与集成环境”的项目验收，实验室是该项目的主要承担单位之一，承担的分课题在2011年底已通过了课题验收，此次顺利...
2012-12-20
首页上页1...6970717273下页尾页

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