西北工业大学董云卫、国防科技大学董威教授为我院学生讲授《软件工程》课程

2022年12月12日至16日，西北工业大学董云卫教授与国防科技大学董威教授应邀作为冬季小学期授课专家，为计算机科学与技术学院2020级软件工程专业讲授《软件工程》课程。

董云卫教授主要讲授了模型驱动开发的协同设计与分析技术，主要包括模型驱动架构的原理和方法、MDA的技术标准和发展趋势、软件架构的定义与内涵等内容。董威教授主要讲授了可信软件技术，主要包括高可信软件的基本概念、关键技术、未来的挑战与相关工作等内容。两位教授的教学广而细致，通俗易懂，不仅对软件工程前沿的研究方向和技术进行了详细的阐述，还列举了相关的应用案例，理论联系实际，突出重点，为同学们起了很好的引导作用，使同学们对这一学科有了更深的认识。

课堂上同学们认真聆听两位教授的精彩授课，热情响应，积极提问，课堂氛围非常活跃，课后多名同学与两位教授就一些知识点进行了交流与探讨，充分体现了同学们对该课程知识的渴望和兴趣。同时本课程还吸引了许多本院研究生的参加，不少同学都表示受益匪浅。此次课程取得了良好的效果，使同学们了解到软件工程的前沿动态和关键技术，激起了同学们对软工的学习和科研的热情，为将来的科学研究打下了基础。

董云卫教授为学生授课

董威教授为学生授课

授课人简介：

董云卫，西北工业大学计算机学院教授，博士生导师，IEEE可靠性性协会执委会委员、西安分会主席。1991年毕业于哈尔滨工业大学数学系，1994年于哈尔滨工业大学获得硕士学位，2004年于西北大学获得软件工程博士学位。主要研究方向：AI系统验证与测试、系统架构模型设计与分析理论、信息物理融合系统。曾任航天科工集团第210研究所工程师、西安协同软件股份有限公司总工程师、西安协同数码股份有限公司总工程师、西安软件工程中心总工程师。目前主持和参加国家自然基金、国防预研、国家重大研究计划课题等近10多项课题，发表学术论文50余篇，出版专著2部。2000年获首届“陕西省十大软件行业杰出青年”，2001年获首届“中国软件行业杰出青年”提名。

董威，国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件、智能化软件开发方法，中国计算机学会形式化方法专委会秘书长。曾获中国计算机学会首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金重大项目课题、国家863和973课题、国防领域课题十余项，发表学术论文70余篇，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。