y.j.wen@263.net
国防科学技术大学博士,专业是计算机软件与理论,目前主要从事程序设计、软件工程、操作系统方面的教学和高可信软件设计与体系结构、软件形式验证方面的科研工作。 近五年来讲授的主要课程有:大学计算机基础...
国防科学技术大学博士,专业是计算机软件与理论,目前主要从事程序设计、软件工程、操作系统方面的教学和高可信软件设计与体系结构、软件形式验证方面的科研工作。 近五年来讲授的主要课程有:大学计算机基础、操作系统、计算机程序设计等,承担的实践性教学课程有:操作系统课程设计、软件工程课程设计。 发表的教学论文有: 1.“操作系统”实验教学之U盘驱动程序开发,计算机教育,2009.7 2.“操作系统”国家精品课程建设总结,计算机教育,2009.7 3.“软件设计与体系结构”课程与教材建设的思考,首届全国高校软件工程专业教育年会,2007