Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum
Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum
复制标题
将形式化方法工具整合到本科计算机科学课程中
DOI：
10.1145/637610.544500
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Maria Falidas
中科院分区：
文献类型：
--
作者：
Sotiris Skevoulis;Maria Falidas
本文介绍了计算机科学和正规方法教育领域的一个成功完成的资助项目的结果。该项目是一项努力，研究正式的方法软件工具整合到本科课程。我们的目标是开创一种创新的方法，将增加学习经验，通过引入使用机械化的方法在教学正式的方法，并展示了本科生学习正式的分析技术的潜力，通过使用这些软件工具。这种方法依赖于传统的教学模式，并增加了自动化软件工具的使用，以提高学生的学习体验。在这项研究的结论，我们证明了增加学生的表现和理解困难的概念，在正式的软件分析和设计问题与使用机械化助理。作为该项目一部分开发的所有工具和教育材料都是公开的
This paper presents the results of a successfully completed funded project in the area of Computer Science and Formal Methods Education. The project was an effort to study the integration of formal methods software tools into an undergraduate curriculum. Our goals were to pioneer an innovative methodology that will increase the learning experience by introducing the use of mechanized approaches in teaching formal methods and to demonstrate the potential of undergraduate students for learning formal analysis techniques, by using these software tools. This methodology depends on the traditional teaching models and adds the use of automated software tools to enhance the student's learning experience. At the conclusion of this study we demonstrated increased student performance and understanding of difficult concepts in formal software analysis and design problems with the use of mechanized assistants. All tools and educational materials developed as part of this project, are publicly available