By Topic

Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Skevoulis, S. ; Dept. of Comput. Sci., Pace Univ., New York, NY ; Makarov, V.

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

Published in:

Frontiers in Education Conference, 36th Annual

Date of Conference:

27-31 Oct. 2006