足球竞彩app排名

　　日前，在研究生楼203室，北京大学高可信软件技术教育部重点实验室副主任金芝教授来我校作题为“基于环境建模的软件需求工程”的学术报告。计算机学院院长黄河燕教授、副书记赵满以及近60名师生参加了此次报告会。

本次报告由计算机学院院长黄河燕教授主持。

　　报告中，金芝教授系统地介绍了软件需求工程的学科起源和具有代表性的方法，并展示了其课题组在基于环境建模的软件需求工程方面的研究成果。基于环境建模的需求工程，通过对软件将处于的环境进行建模与分析，归结出软件系统的行为约束，并通过软件行为失效可能引起的环境风险的分析，推演出软件系统的可信性保障要求，期望建立以软件系统和环境的适配性分析为基础的软件可信性需求验证方法。

　　金芝教授精彩的报告历时2个小时，引起现场师生浓厚的兴趣。互动环节中，同学们就自身存在的疑惑提出了若干问题，同时，得到了金芝教授十分深入、细致的解答。

　　报告后，作为国内计算机领域两个重要的学术期刊《软件学报》执行副主编和《计算机学报》副主编，金芝教授还就同学们关心的学术论文写作方面介绍了其宝贵的经验。

　　报告人 简介：

　　金芝，北京大学教授，博士生导师，国家杰出青年基金获得者。北京大学高可信软件技术教育部重点实验室副主任，中国科学院管理、决策与信息系统重点实验室副主任。中国计算机学会常务理事，《软件学报》执行副主编，《计算机学报》副主编，《Journal of Computer Science and Technology》编委。从事知识工程、基于知识的软件工程和软件需求工程的研究。先后主持、协助主持或参加包括国家八五、九五科技重点攻关项目、国家基础研究发展规划（973）项目、国家863高技术计划项目、国家自然科学重点基金项目、国家自然科学基金项目、以及中法和中英合作项目等二十余项。出版合著英文专著1部，合著中文编著1部，译著2部，在国内外学术期刊和会议上发表论文100多篇。曾获国防科工委科技进步二等奖，中创软件人才奖，中国科学院盈科优秀青年人才奖，中国科学院巾帼建功先进个人，中国十大IT科研女性奖。

（审核：赵满）