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

摘要：

本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考.

关键词：计算机学科、形式化方法、知识体系、课程教学

分类号：G64(高等教育)

在线出版日期：2008-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：48-50