计算教程ＣＣ２００５中的形式化方法教育.docVIP

计算教程ＣＣ２００５中的形式化方法教育 摘要：ACM和IEEE-CS联合任务组提交的计算教程CC2005，对计算机学科相关专业的教学产生了重大的影响。本文对计算教程CC2005中相关专业的知识体系进行了分析，讨论了形式化方法的相关课程计划和教学内容，以期对国内高校开设形式化方法相关课程提供参考。br　　关键词br本文来自：计算机毕业网 ：计算机学科；计算教程；CC2005；形式化方法；知识体系br　　　　br　　计算机科学技术日新月异、飞速发展，使得高等院校的计算机学科相关专业教育面临严峻的挑战。为了适应工业应用和大学教育的新形势要求，确定合理的人才培养目标、知识体系及课程内容规范，美国计算机协会ACM和电子电气工程师学会计算机分会IEEE-CS联合制定并发布了计算教程CC 2005(Computing Curricula 2005)[1]。该报告的推出对全球计算学科相关专业的计算机教育产生了重要的影响，我国教育部高等学校计算机科学与技术教学指导委员会制订了《高等学校计算机科学与技术专业发展战略研究报告暨专业规范(试行)》[2]。br　　形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。ACM和IEEE-CS联合任务组提交的计算教程CC2005的软件工程分册SE2004将“软件工程的形式化方法(Formal Methods in Software Engineering)”列为一门核心课程 [3]。欧洲形式化方法学会于2001年成立了专门的形式化方法教育研究分会FME-SoE(Formal Methods Europe Association - Subgroup on Education)，并于2004年11月发布了对欧洲11个国家、58所高等院校形式化方法教育课程的调研报告[4,5]。这些工作为推进计算机学科相关专业的形式化方法教育产生了积极的作用。br　　br　　1CC2005简介br　　br　　计算机技术及其工业革命对人类社会发展产生了深远和重大的影响。从计算机诞生至今，计算学科的相关专业教育就引起了人们的极大关注。国际学术学会组织对于高等院校计算教程的制订和规范一致给予了高度关注。ACM学会于1968年、1978年和1972年分别出版了计算机科学(CS：Computer Science)教程Curriculum’68、Curriculum’78和信息系统(IS：Information Systems)教程。IEEE-CS学会于1977年发布了计算机科学与工程教学计划报告，并于1983年对其进行了修改完善。国际信息技术职业协会AITP(Association for Information Technology Professionals)于1985年发布了首部信息系统教程。ACM和IEEE-CS联合任务组于1991年出版了著名的计算教程CC’91(Computing Curricula 1991)，给出了计算机科学和计算机工程(CE：Computer Engineering)专业四年制学士课程计划。ACM于1993年发布了计算机科学、计算机工程、信息系统、计算机支持业务(computer support services)和其他领域计算共五个专业的二年制辅修学位教程。国际信息系统学会AIS(Association for Information Systems)和ACM、AITP于1997年公布了四年制信息系统专业学士学位教程。br　　计算教程CC’91对世界范围的计算机教育产生了巨大的影响。但是，随着计算机科学和技术的飞速发展，计算学科领域不仅在纵向上迅速发展，而且在横向上急剧扩展，计算学科相关的各种不同课程也随之迅猛增加。CC’91渐渐暴露出了各种局限性和不足。在1998年秋季，ACM和IEEE-CS再次合作，成立了联合任务组旨在对CC’91进行修订和完善，建立能为各种计算学科的学位课程设置提供指南的新教程。随着工作的推进，任务组成员认识到：计算已经深入到如此多而广的领域，以致从一门学科的单一角度来看问题是远远不够的。各种计算学科领域内容的丰富程度和广度要求以一种新的方式来定义和规范计算课程，该工作的完成需要ACM、IEEE-CS、AIS以及其它专业协会的合作。ACM和IEEE-CS联合任务组于2001年12月发布了计算教程CC2001(Computing Curricula 2001)。CC2001报告包含了两个方面重要内容：新的计算教程结构(称为CC2001模型)；计算机科学本科生学位计划的详 br　　细课程指南。由于CC2001报告包括了计算机科学课程指南，所以把那些涉及到计算机科学内容的部分当作计算科学教程CS2001。信息系统相关组织