登录 | 注册
精品课程点击排行榜  >>  软件工程
课程简介 教师队伍  

■ 教师队伍
参加人员介绍
2.主讲教师情况（1）
2（1）-1基本信息
姓名： 谭庆平 性别： 男? 出生年月： 1965年8月?
最终学历： 博士研究生? 职称： ? 电话： 0731-4575920?
学位： 博士? 职务： 无? 传真： 0731-4556089?
所在院系： 计算机学院? E-Mail： eric.tan.6508@gmail.com?
通信地址（邮编）： 湖南省长沙市国防科技大学计算机学院602教研室（410073）?
研究方向： 软件工程?
2（1）-2教学情况
近五年来讲授的主要课程：
1.?????? “面向对象软件工程”，本科专业课，周学时4（10周），4届，学生（军人）总人数约600人。
2.?????? “软件工程导论”，本科专业课，周学时4（6周），2届，学生（国民教育）总人数约500人。
3.?????? “高级软件工程”，硕士生专业课，周学时4（14周），5届，学生总数约1200人。
4.?????? “软件技术高级专题”，博士生专业课，周学时4（10周），4届，学生总人数约150人。
?
近5年来承担的实践性教学：
1.?????? “软件工程课程设计”，3届，学生总人数约450人。
2.?????? “面向对象软件工程”课程实习，4届，学生总人数约600人。
3.?????? “软件工程导论”课程实习，2届，学生总人数约500人。
4.?????? “高级软件工程”课程实习，5届，学生总人数约1200人。
5.?????? 本科毕业设计，5届，学生总人数15人。
?
近5年来主持的教学研究课题：
1.?????? “软件方法学”，国防科技大学重点课程建设项目，2001-2003。
2.?????? “高级软件工程”，湖南省教育厅研究生精品课程建设项目，2005-2007。
3.?????? “高级软件工程”，国防科技大学研究生精品课程建设，2003-2006。
?
近5年来发表的教学研究论文：
1.?????? “‘软件工程’的教学改革与教材建设”，《高等教育研究学报》，排名第1，2003。
2.?????? “从计算机到计算：计算机教育的发展与思考”。《中国大学教学》，排名第3，2004。
3.?????? “软件工程学科的建立与软件工程本科教学”，《中国大学教学》，排名第3，2006。
4.?????? “以高水平科研全面促进软件学科建设”，《计算机科学与工程》，排名第5，2001。
?
近5年获得的教学表彰/奖励：
1.?????? 2003年获全军育才奖银奖。
2.?????? 2002年获全国优秀教材一等奖(排名第3)。
3.?????? 2004年获国防科大教学优秀成果二等奖(排名第1)。
4.?????? 国防科大研究生教学优秀个人二等奖。
?
?
2（1）-3学术研究
近五年来承担的学术研究课题：
1.???????? “工作流基础平台的关键技术研究”，国家863项目，2003-2005，课题负责人。
2.???????? “军用软件过程改进及能力成熟度认证”，总装备部装备技术基础项目，2003-2004，课题负责人。
3.???????? “可信软件工程的过程框架与规约”，国防科技大学预研项目，2004-2006，课题负责人。
?
近5年来发表的学术论文包括：
1.???????? “一种有效的服务资源自动语义标注方法研究”，《计算机研究与发展》，第2作者，2006。
2.???????? “Verifying Web Services Composition”，Proceedings of the 24th International Conference on Conceptual Modeling (ER2005) workshops, Springer-Verlag, LNCS 3770, 第2作者, 2005.
3.???????? “Setup Algorithm of Web Services Composition”, Proceedings of the 6th International Conference on Algorithms and Architectures, Springer-Verlag, LNCS 3719, 第2作者, 2005.
4.???????? “Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow”, Proceedings of the sixth International Symposium on Applications and the Internet, IEEE Computer Society Press, 第2作者, 2006.
5.???????? “一种扩展数据对象工作流Petri网模型”，系统仿真学报，第2作者，2005。
?
曾获得的学术研究表彰/奖励:
1.?????? 《软件工程》（科技教材），教育部科技进步二等奖，排名第2，1999。
2.?????? 银河巨型机FORTRAN编译器改进版，国防科工委科技进步二等奖，排名第3，1992。
3.?????? 银河电子办公系统，军队科技进步三等奖，排名第1，1995。
4.?????? 银河S4/100超级服务器Windows操作系统及环境，军队科技进步三等奖，排名第2，1998。
5.?????? 银河巨型机FORTRAN编译程序向量优化，军队科技进步三等奖，排名第2，1987。
?
?
2.主讲教师情况（2）
2（2）-1基本信息
姓名： 董威? 性别： 男? 出生年月： 1976年7月?
最终学历： 博士研究生? 职称： ? 电话： 0731-4576468?
学位： 博士? 职务： 无? 传真： 0731-4556089?
所在院系： 计算机学院? E-Mail： wdong@nudt.edu.cn?
通信地址（邮编）： 湖南省长沙市国防科技大学计算机学院602教研室（410073）?
研究方向： 高可信软件技术，软件测试与验证?
2（2）-2教学情况
近5年主要讲授的课程包括：
1.?????? “面向对象软件工程”，本科专业课，周学时4（10周），3届，学生（国民教育生）约750人。
2.?????? “软件工程课程设计”，本科专业课，周学时4（6周），3届，学生（军人和国民教育生）约550人。
3.?????? “软件开发方法”，工程硕士专业课，周学时4（9周），3届，学生约170人。
4.?????? “软件工程实践”，工程硕士专业课，周学时4（14周），4届，学生约250人。
5.?????? “软件工程与软件项目管理”，军队工程硕士班专业课，周学时4，共2届，学生约80人。
?
近5年承担的实践性教学如下：
1.?????? “面向对象软件工程”实习，学生总数约750人。
2.?????? “软件工程课程设计”实习，学生总数约550人。
3.?????? “软件开发方法”实习，学生总数约170人。
4.?????? “软件工程实践”实习，学生总数约250人。
5.?????? 本科毕业设计，共计学生15人。
?
近5年主持的教学研究课题包括：
1.?????? “软件工程实践课程建设”，国防科技大学工程硕士重点课程建设项目，2004-2005。
2.?????? “软件开发方法课程建设”，国防科技大学工程硕士重点课程建设项目，2004-2005。
?
近5年发表的教学研究论文如下：
1.?????? “基于SWEBOK的软件工程系列课建设”，《高等教育研究学报》，第1作者，2005。
2.?????? “从计算机到计算：计算机教育的发展与思考”。《中国大学教学》，第5作者，2004.12。
3.?????? “软件工程学科的建立与软件工程本科教学”。《中国大学教学》，第5作者，2006.02。
?
近5年获得的教学奖励如下：
1.?????? “软件工程系列课程的建设与改革”，2004国防科技大学教学成果二等奖。
2.?????? 获2004年国防科技大学研究生教学优秀个人三等奖。
?
?
2（2）-3学术研究
近5年承担的学术研究课题包括：
1.?????? “基于构件的高可信系统形式验证研究”，国家自然科学基金项目，2004-2006，项目负责人。
2.?????? “基于构件的高可信软件安全性分析”，武汉大学软件工程国家重点实验室开放基金项目，2004-2005，项目负责人。
3.?????? 实时容错协议的形式验证技术，国家自然科学基金项目，2002-2004，主要完成人。
4.?????? “面向UML的形式化测试技术”，国家自然科学基金项目，2000-2002，主要完成人。
5.?????? “军用高可靠性软件工程技术及其支撑环境”，武器装备预研项目，2001-2005，主要完成人。
?
近5年发表的学术论文：
1.?????? “并发程序的切片模型检验方法”，《计算机学报》，第1作者，2003。
2.?????? “UML Statecharts的模型检验方法”，《软件学报》，第1作者，2003。
3.?????? “面向服务软件体系结构的接口模型”，《软件学报》，第3作者，2006。
4.?????? “Contract-based Formal Specification of Safety Critical Systems”. The 29th Annual International Computer Software and Applications Conference (COMPSAC 2005). IEEE Computer Society Press, 第1作者, 2005.
5.?????? “A Contract-based Approach to Specifying and Verifying Safety Critical Systems”. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2006). Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science B.V. 第1作者, 2006.
?
近5年获得的学术研究奖励：
1.?????? “计算机辅助软件可靠性工程环境YH-SREE”，军队科技进步三等奖，排名第5，2002。
2.?????? “安全关键软件测试与验证环境TesVESS”，军队科技进步二等奖，排名第3，2006。
?
?
2.主讲教师情况（3）
2（3）-1基本信息
姓名： 毛新军? 性别： 男? 出生年月： 1970年9月?
最终学历： 博士研究生? 职称： ? 电话： 0731-4573649?
学位： 博士? 职务： 教研室副主任? 传真： 0731-4556089?
所在院系： 计算机学院? E-Mail： xjmao@nudt.edu.cn?
通信地址（邮编）： 湖南省长沙市国防科技大学计算机学院602教研室（410073）?
研究方向： 软件工程，Agent理论和技术，分布计算?
2（3）-2教学情况
近5年讲授的主要课程情况如下：
1.???????? “软件工程导论”，本科专业课，周学时4（6周），3届，学生（国民教育生）总数约750人
2.???????? “软件项目管理”，本科专业课，周学时4（9周），3届，学生（军人）总数约280人
3.???????? “软件开发方法”，软件工程硕士专业课，周学时4，1届，学生总数约80人
4.???????? “面向Agent的软件开发”，硕士研究生专业课，周学时4，4届，学生总数约180人
5.???????? “计算机逻辑学”，研究生专业课，周学时4，1届，学生总数约24人
?
近5年发表的教学研究论文如下：
1.???????? “谈研究生科研能力的培养：实践与思考”，《高等教育研究学报》，排名第1， 2006
?
近5年获得的教学奖励如下：
1.???????? 全军育才银奖
2.???????? 国防科技大学研究生教学优秀个人二等奖
3.???????? 国防科技大学教学成果二等奖
?
?
2（3）-3学术研究
近5年承担的学术研究课题包括：
1.???????? “基于组织抽象的Internet软件开发方法的研究”，霍英东优选资助课题，2006-2009，项目负责人。
2.???????? “面向Agent的系统建模技术”，国家自然科学基金项目，2004-2006，项目负责人。
3.???????? “面向Agent的需求工程”，国家自然科学基金项目，2005-2007，主要成员。
4.???????? “虚拟计算环境聚合与协同机理研究”，国家重点基础研究发展规划973项目，2006-2010，主要成员。
5.???????? “自治式软件开发关键技术研究”，国家863课题，2005-2006，项目副负责人。
?
近5年承担的学术研究课题包括：
1.???????? Modeling the Organization Structure of Multi-agent System, Proc. of 5th Intelligent Agent Technology, 第1作者, 2005.
2.???????? 多agent系统的抽象合作模型，《计算机研究与发展》，第1作者，2004。
3.???????? Cooperation Models for Service Oriented Multi-agent System. Proceedings of Special Track on Coordination Models, Languages and Applications of ACM SAC, 第1作者, 2004.
4.???????? Model the Organization Constraints in Multi-agent System, Proceedings of International Conference on Intelligent Information Processing, Springer, 第1作者, 2004.
5.???????? A Framework to Specify, Reason and Evaluate Cooperation Using Logic, Proceedings of IEEE/WIC/ACM Intelligent Agent Technology, 第1作者, 2004.
?
?
2.主讲教师情况（4）
2（4）-1基本信息
姓名： 李暾? 性别： 男? 出生年月： 1974年10月?
最终学历： 博士研究生? 职称： ? 电话： 0731-4573649?
学位： 博士? 职务： ? 传真： 0731-4556089?
所在院系： 计算机学院? E-Mail： tunli@nudt.edu.cn?
通信地址（邮编）： 湖南省长沙市国防科技大学计算机学院602教研室（410073）?
研究方向： 程序理论和验证技术，SoC功能验证?
2（4）-2教学情况
近5年主要讲授的课程情况如下：
1.?????? “软件工程课程设计”，本科专业课，周学时2，共3届，学生（国民教育）总数约750人。
2.?????? “离散数学”，本科专业基础课，周学时4（共16周），共2届，学生（国民教育）总数约250人、（军人）136人。
3.?????? ?“抽象代数”，本科专业课，周学时4（共12周），共3届，学生（国民教育）总数约390人。
4.?????? “软件体系结构”，工程硕士专业课，周学时4（共9周），共1届，学生总数约37人。
5.?????? “VLSI功能验证”，工程硕士专业课，周学时4（共9周），共3届，学生总数约120人。
?
近5年承担的实践性教学包括：
1.?????? “软件工程课程设计”实习，学生共计约520人。
2.?????? “软件体系结构”实习，学生共计约37人。
3.?????? “VLSI功能验证”实习，学生共计约120人。
4.?????? 本科毕业设计，学生共计7人。
?
近5年发表的教学研究论文如下：
1.?????? “基于SWEBOK的软件工程系列课建设”，《高等教育研究学报》，排名第2，2005。
?
近5年获得的教学奖励如下：
1.?????? 获2005年国防科技大学本科教学优秀个人三等奖。
?
?
2（4）-3学术研究
近5年承担的学术研究课题包括：
1.?????? “VLSI模拟矢量自动生成技术研究”，国防试验基金，2002-2003，主要完成人。
2.?????? “SOC软/硬件协同设计技术研究”，863 课题，2002-2003，主要完成人。
3.?????? “信息处理算法到SOC的映射技术研究”，国家自然基金重点项目，2003至今，主要完成人。
4.?????? “微处理器高层功能验证测试程序自动生成的理论和方法”，国家自然科学基金，2004-2005，主要完成人。
5.?????? “SoC系统级功能验证关键技术研究”，国家自然基金项目，2005至今，课题负责人。
?
近5年发表的学术论文包括：
1.?????? “An Automatic Circuit Extractor for HDL Description Using Program Slicing”. Journal of Computer Science and Technology. 第1作者，2004.
2.?????? “Predicate Abstraction of RTL Verilog Description using Constraint Logic Programming”. 3rd International Symposium on Automated Technology for Verification and Analysis, Springer-Verlag, LNCS 3707. 第1作者, 2005.
3.?????? “交互状态机模型模拟矢量自动生成方法研究”。《软件学报》。第1作者，2003。
4.?????? “面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究”。《计算机学报》，第1作者，2004。
5.?????? “基于断言的模拟矢量自动生成方法研究”。《软件学报》，第1作者，2004。
?
?
3.教学队伍情况

主持教师介绍
姓名： 齐治昌 职称：  教授
职务： 
教师介绍：
1.课程负责人信息
1-1基本信息
姓名： 齐治昌 性别： 男? 出生年月： 1942年1月?
最终学历： 本科? 职称： 教授? 电话： 0731-4572089?
学位： 大学毕业? 职务： 无? 传真： 0731-4556089?
所在院系： 计算机学院? E-Mail： qzc@nudt.edu.cn?
通信地址（邮编）： 湖南省长沙市国防科技大学计算机学院（410073）?
研究方向： 软件工程?
1-2教学情况
近5年讲授的主要课程如下：
1.????? “软件工程导论”，本科专业课，周学时4（6周），共3届，学生总数约450人。
2.????? “软件工程与软件项目管理”，软件工程硕士专业基础课，周学时4（12周），共1届，学生总数约70人。
3.????? “软件装备的开发、测试与定型”，××装备定型培训班专业课，周学时4（1周），共3届，学生总数约200人。
4.????? “软件装备的开发、使用和维护”，××装备维护培训班专业课，周学时4（1周），共3届，学生总数约200人。
5.????? “军用软件开发、测试与管理”，××装备培训班专业课，周学时4（1周），共2届，学生总数约200人。
?
近5年主持的教学研究课题包括：
1.?????? “计算机学科专业规范研究课题软件工程专业方向子课题”，教育部，2004年。
2.?????? “高等教育百门精品课程教材建设计划——《软件工程》”，高等教育出版社，2003-2006。
?
近5年作为第一署名人在国内外公开发行的刊物上发表的教学研究论文如下：
1.?????? “从计算机到计算：计算机教育的发展与思考”，《中国大学教学》，2004.12。
2.?????? “软件工程学科的建立与软件工程本科教学”，《中国大学教学》，2006.02。
3.?????? “软件工程教育进展”，全国计算机教学系列课程研讨会，2005.08。
4.?????? “软件工程专业规范”，全国计算机系主任论坛，2005.09
?
曾获得的教学表彰/奖励包括：
1.?????? 1993年获全军优秀教师称号。
2.?????? “加强计算机学科建设，主动适应军队建设需要”，1993年全国优秀教学成果一等奖。
3.?????? 《软件工程》，2000年教育部科技进步（教材类）二等奖。
?
?
1-3学术研究
近5年承担的学术研究课题包括：
1.?????? “基于构件的软件开发与测试”，国防预研基金项目，2002-2006，项目负责人。
2.?????? “面向安全性的软件设计验证理论”，国防科技大学预研项目，2003-2005，项目负责人。
3.?????? “嵌入式系统的自动分析技术和工具”，国家863项目，2001-2003，主要完成人。
4.?????? “军用高可靠性软件工程技术及其支撑环境”，武器装备预研项目，2001-2005，主要完成人。
?
近5年发表的学术论文包括：
1.?????? ?“包含依赖输入分支程序的符号化WCET分析”，《软件学报》，第2作者，2006。
2.?????? ?“Trace Acquirement from Real-Time Systems Based on WCET Analysis”. In: 2nd International Conference on Embedded Software and Systems (ICESS-05), LNCS 3820,Springer-verlag, 第3作者, 2005.
3.?????? “Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata”. In: Proceedings of the Sixth International Conference on Formal Engineering Methods (ICFEM’04), LNCS 3308, Springer-Verlag, 第3作者. 2004.
4.?????? “An improved method to generate path-wise test data”. Journal of Computer Science and Technology, 第3作者, 2003.
5.?????? “Gupta方法的改进”，《计算机学报》，第3作者，2002。
?
近5年获得的学术研究奖励：
1.?????? “计算机辅助软件可靠性工程环境YH-SREE”，军队科技进步三等奖，排名第4，2002。
?
关于我们 | 版权声明 | 汇款方式 | 会员注册 | 招聘信息 高等学校教学资源网 CopyRight©2004 版权所有
  京ICP证070553号   京ICP备10040123号-8   京公网安备: 1101081957