论文部分内容阅读
本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroupon Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式。以期对国内高校计算机学科相关专业开设形式化方法课程提供参考。
This article is based on the survey and analysis report of the formalized method education of undergraduates majoring in computer science in European universities published by the Formal Methods Europe Association-Subgroupon Education (FME-SoE). The formalization of European higher education institutions Method of education knowledge system, and summarizes three possible modes of formalized method education. With a view to providing a reference to the formal method courses offered by relevant disciplines of computer science in domestic universities.