原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
◆◆卜 ■辑专业课程建啦叩pulerEduca．t‘e! ．_··
文章编号：1672．5913(2008)10．0099．05
欧洲高校计算机专业的形式化方法课程教学
古天龙，董荣胜
(桂林电子科技大学，广西桂林541004)
摘要：本文对欧洲高等院校的计算机相关专业形式化方法教育进行了介绍， 主要包括形式化方法课程的知
识体系、形式化方法教育的课程及其内容。
关键词：计算机学科；形式化方法；知识体系；欧洲高校
中图分类号：G642 文献标识码：B
形式化方法是基于严密的、数学上的形式机制的计算
机系统研究方法。从20ttc纪90年代开始，计算机学科相
关专业的形式化方法的教育引起了欧美教育界的高度重
视和关注。欧洲的英国、德国、法国、意大利、荷兰、西
班牙等国家的高校相继为研究生开设了形式化方法方面
的课程，并推广至本科生教育。从20世纪90年代中期开
始，美国高校也开展了形式化方法教育研究，并在美国顶
尖的35所大学的计算机学科实施了研究生和本科生的教
育实践。
IEEE．CS和ACM联合任务组于2005年9月提交了计
Curricula
算教程CC2005(compmjng2005)最终报告，该报
Curriculum-Software
告的软件工程分册CcSE(Computing
2004)将“软件：[程的形式化方法(Formal 图1 形式化方法知识体系
Engineering
in
MethodsSoftware
Engineering)”列为一门核心课程。
形式化方法(FM．FormalMethod)知识体系中的6个知
CC2005最终报告的推出对计算机学科相关专业的形式化
方法教育产生了重要的影响。
欧洲形式化方法协会于2001年成立了专门的形式化specification
and
verification
Methods
方法教育研究分会FME．SoE(FormalEurope
for
executable
semantics)：⑤可执行规格支持(Support
on
Association．SubgroupEducation)，目的在于研究并提
出高等院校本科生形式化方法教育的知识体系及课程内 specification)；⑥其他(OtherTopics)。
6个知识领域包括15个知识子领域或者知识单元：
容。该组织于2004年11月发布了对欧洲11个国家、58
所高等院校中的117门形式化方法教育相关课程的调研 FM01形式化方法的集合理论／拓扑基础
foundationsofFormal
报告。 (Set-theoretic／topological Methods)；
foundationsofFormal
文档评论（0）