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

计算教程CC2005中的形式化方法教育

下载PDF
导出
摘要 ACM和IEEE-CS联合任务组提交的计算教程CC2005，对计算机学科相关专业的教学产生了重大的影响。本文对计算教程CC2005中相关专业的知识体系进行了分析，讨论了形式化方法的相关课程计划和教学内容，以期对国内高校开设形式化方法相关课程提供参考。
作者 古天龙
机构地区 桂林电子科技大学
出处 《计算机教育》 2008年第14期62-65,共4页 Computer Education
关键词 计算机学科 计算教程 CC2005 形式化方法 知识体系
分类号 G642 [文化科学—高等教育学]
  • 相关文献

参考文献1

二级参考文献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/.

共引文献1

计算机教育
2008年 第14期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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