本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总...本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考.展开更多
近来,计算机教学改革和软件人才培养问题受到社会各界的广泛关注,各高校也在加紧推进相关的改革.教育部已于2001年12月批准了35所高校试办示范性软件学院.不久前,教育部有关领导及有关高校的代表考察、访问了欧美的部分高校,如密歇根大...近来,计算机教学改革和软件人才培养问题受到社会各界的广泛关注,各高校也在加紧推进相关的改革.教育部已于2001年12月批准了35所高校试办示范性软件学院.不久前,教育部有关领导及有关高校的代表考察、访问了欧美的部分高校,如密歇根大学(University of Michigan)、卡耐基·梅隆大学(Camegie-Mellon University)、都柏林工业大学(Dublin Institute of Technology)、都柏林城市大学(Dublin City University)和雷默里克大学(University of Limerick)等,深入了解了这些高校计算机教学和计算机人才培养情况,并带回了丰富的资料.我们在受委托翻译、整理这些资料的过程中,觉得其内容很新,有些还是这些学校将于2002年9月开始实行的最新课程计划,具有较高的参考价值.展开更多
文摘本文基于欧洲形式化方法协会教育研究分会FME-SoE(Formal Methods Europe Association-Subgroup on Education)所发布的欧洲高等院校计算机学科本科生形式化方法教育的调查分析报告,对欧洲高等院校的形式化方法教育知识体系进行介绍,总结给出了形式化方法教育可能采取的三种模式.以期对国内高校计算机学科相关专业开设形式化方法课程提供参考.
文摘近来,计算机教学改革和软件人才培养问题受到社会各界的广泛关注,各高校也在加紧推进相关的改革.教育部已于2001年12月批准了35所高校试办示范性软件学院.不久前,教育部有关领导及有关高校的代表考察、访问了欧美的部分高校,如密歇根大学(University of Michigan)、卡耐基·梅隆大学(Camegie-Mellon University)、都柏林工业大学(Dublin Institute of Technology)、都柏林城市大学(Dublin City University)和雷默里克大学(University of Limerick)等,深入了解了这些高校计算机教学和计算机人才培养情况,并带回了丰富的资料.我们在受委托翻译、整理这些资料的过程中,觉得其内容很新,有些还是这些学校将于2002年9月开始实行的最新课程计划,具有较高的参考价值.
