米6米乐体育app官网

2022-03-24 17:28:16

题目:自治软件系统的可靠性

报告人: 金芝 北京大学教授

时间:2022年3月28日(星期一)下午15:00

地点:南海校区信息楼104

 

学术报告简介:

软件系统在关键应用中日益广泛的使用,要求其开发过程能提供令人信服的证据,展示其功能服务满足可靠性要求。软件系统运行环境日益增强的开放性,特别是很多软件成为自治系统的核心,使得软件可靠性问题边界不断延伸。本报告首先分析了软件系统可靠性的概念,构建软件系统可靠性的概念模型,讨论了软件系统可靠性概念的变迁,最后探讨了自治系统的软件能力关注点和软件系统架构。

报告人简介:

金芝,北京大学教授,2021CCF杰出成就奖 (夏培肃)获得者。任北京大学高可信软件技术教育部重点实验室常务副主任。2006年获得国家杰出青年科学基金。兼任国务院学位委员会学科评议组成员(软件工程),中国计算机学会会士与常务理事,中国计算机学会系统软件专业委员会主任。任IEEE TSE/TR Associate Editor,《软件学报》执行主编,《计算机学报》副主编,Empirical Software Engineering编委。主要研究领域包括:软件需求工程、知识工程、和基于知识的软件工程等,主持973项目、国家重点研发项目、以及多项国家自然科学基金重点项目等。获教育部高等学校科学研究优秀成果奖科技进步一等奖1项,中国计算机学会科学技术奖技术发明一等奖1项。出版英文专著3部,中文编著1部,发表论文180余篇。


米6米乐体育app官网(中国)有限公司