期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

欧洲高等院校计算机学科形式化方法教育探析 被引量：2

下载PDF
导出
摘要 本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考.
作者 古天龙
机构地区 桂林电子科技大学 副校长、教授 教育部高等学校计算机科学与技术教学指导委员会软件工程专业教学指导分委员会委员
出处 《中国大学教学》 CSSCI 2007年第11期48-50,共3页 China University Teaching
关键词 计算机学科 形式化方法 知识体系 课程教学
分类号 TP3-4 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献5

  • 1[1]The Joint ACM/IEEE-CS Task Force on Computing Curricula.Computing curricula 2005-the Overview Report[R].ACM and IEEE Computer Society,2005.
  • 2[2]The Joint ACM/IEEE-CS Task Force on Computing Curricula.Software Engineering 2004[R].ACM and IEEE Computer Society,2004.
  • 3[3]教育部高等学校计算机科学与技术教学指导委员会编.高等学校计算机科学与技术专业发展战略研究报告暨专业规范(试行)[M].北京:高等教育出版社,2006.
  • 4[4]FME Subgroup on Education.A survey of formal methods courses in European higher education[C].LNCS 3294:Teaching Formal Methods,2004.
  • 5[5]FME Subgroup on Education.A survey of formal methods courses in European higher education[Z].2004,http://www.fmeurope.org/.

同被引文献3

引证文献2

中国大学教学
2007年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部