- 课程介绍
- 课程目录
- 参考教材
-
- 王曙燕 / 西安邮电大学
-
1986年7月毕业于西北大学计算机科学系,获理学学士学位;1989年7月毕业于西北大学应用软件专业,获工学硕士学位;2006年7月毕业于西北大学计算机软件与理论专业,获工学博士学位。1989年7月至今,在西安邮电大学任教,现担任中国计算机学会软件工程专业委员会委员,中国计算机学会教育专业委员会委员,全国高等学校计算机教育研究会理事,陕西省计算机教育学会副理事长。2011年被评为第七届“陕西普通高等学校教学名师” ,2007年被评为陕西省优秀教师。西安邮电大学“可信软件”科研团队学术带头人。
多年从事计算机软件方面的教学和科研工作,热爱党的教育事业,治学严谨,并坚持在教育理念上不断创新与改革。主讲数据结构、编译原理等主干课程。2014年主持陕西省软件工程专业综合改革项目。软件工程专业核心课程省级教学团队负责人,软件工程创新创业培养模式省级试验区负责人。主持的“数据结构”课程获2016年陕西省MOOC建设立项, 主编的《数据结构与算法》获2016陕西省优秀教材一等奖。2014年主持的“高级语言程序设计”被评为陕西省精品资源共享课程; 2009年主编的《C语言程序设计》(第二版)获中国科学院教材建设专家委员会信息技术类优秀教材(部级)一等奖。
目前主要从事软件测试和智能信息处理等方面的研究。现主持2015陕西省自然基金项目“错误注入测试的软件可靠性评估模型研究”。主持并完成中国航空工业集团公司西安飞机设计研究所横向项目“型号设计软件固化及有效控制技术研究与应用”;主持并完成2010年国家自然科学基金项目“基于群体智能的软件测试优化关键问题研究”。主持的“基于群体智能的组合软件测试关键技术及应用”2014年获得陕西省科学技术奖三等奖,“基于Windows的软件测试平台”2012年获得陕西省科学技术奖三等奖。申请软件测试方面国家专利5项,“一种测试用例集缩减方法”2010年获国家发明专利授权,“一种两两覆盖组合软件测试用例集生成方法”2014年获国家发明专利授权。2013年由科学出版社出版专著《计算智能与组合软件测试优化》。2013年赴加拿大作为访问学者;2005年赴加拿大参加IEEE ICMA国际学术会议并发表演讲;2007年赴德国莱比锡电信学院进行教师交流。多年来,在核心期刊及其它学术期刊上发表学术论文40多篇,教材及译著10部,软件著作权5项。
-
- 王燕 / 西安邮电大学
-
主要讲授《数据结构》、《高级语言程序设计》等理论课程,现主要从事数据挖掘、软件测试和智能信息处理等方面研究。
-
- 王春梅 / 西安邮电大学
-
主要讲授《高级语言程序设计》、《数据结构》和《编译原理》理论课程,现主要从事数据挖掘、软件测试和智能信息处理等方面研究。
-
- 王小银 / 西安邮电大学
-
1999年西北大学毕业,获得学士学位,2005年beoplay体育提现毕业,获计算机计算机科学与技术硕士学位。1999年9月进入西安邮电学院计算机系从事软件测试、操作系统等方面的教学与科研项目。参与的项目主要有:国家自然科学基金重大研究计划项目“用于系统芯片验证的证明引擎研究”,西安市科技创新支撑―应用发展研究计划“基于Windows的软件测试平台”,院内重点项目“软件工程人才培养模式的研究”。
-
- 陈燕 / 西安邮电大学
-
主要讲授《数据结构》、《编译原理》和《软件工程导论》等理论课程,现主要从事数字图像处理、数据挖掘和智能信息处理等方面研究。
-
- 初建玮 / 西安邮电大学
-
曾主讲过《数据结构》、《数据结构与算法》、《编译原理》、《算法设计与分析》、《操作系统》、《软件工程》、《数据库原理与设计》、《高级语言程序设计》等课程。从教三十多年来,曾获部级“优秀青年教师”称号、获部级科技进步二等奖两项、获陕西省优秀教学成果奖三项、获学校教学、科研奖十余项;主持或参与陕西省教育厅、教育部教育教学改革及科研项目多项。先后担任西安邮电大学信息中心副主任、教务处副处长、教师发展中心副主任、高等教育研究所所长等职务。
-
- 曾艳 / 西安邮电大学
-
主要讲授《高级语言程序设计》、《数据结构》等理论课程,现主要从事数据挖掘,智能信息处理等方面研究。
-
- 舒新峰 / 西安邮电大学
-
西安邮电大学计算机学院软件工程系主任,软件工程专业负责人,“软件工程”陕西省精品资源共享课程负责人,主讲课程:软件工程、操作系统、数据结构。主要研究方向:软件工程,形式化验证技术