欧洲高校计算机专业的形式化方法课程教学.docVIP

欧洲高校计算机专业的形式化方法课程教学 摘要：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍，主要包括形式化方法课程的知识体系、形式化方法教育的课程及其内容。br　　关键词br本文来自：计算机毕业网 ：计算机学科；形式化方法；知识体系；欧洲高校br　　　　　　br　　形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。从20世纪90年代开始，计算机学科相关专业的形式化方法的教育引起了欧美教育界的高度重视和关注。欧洲的英国、德国、法国、意大利、荷兰、西班牙等国家的高校相继为研究生开设了形式化方法方面的课程，并推广至本科生教育。从20世纪90年代中期开始，美国高校也开展了形式化方法教育研究，并在美国顶尖的35所大学的计算机学科实施了研究生和本科生的教育实践。br　　IEEE-CS和ACM联合任务组于2005年9月提交了计算教程CC2005(Computing Curricula 2005)最终报告，该报告的软件工程分册CCSE(Computing Curriculum- Software Engineering 2004)将“软件工程的形式化方法(Formal Methods in Software Engineering)”列为一门核心课程。CC2005最终报告的推出对计算机学科相关专业的形式化方法教育产