IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Using Simulation Games in Teaching Formal Methods for Software Development

Using Simulation Games in Teaching Formal Methods for Software Development
View Sample PDF
Author(s): Štefan Korečko (Technical University of Košice, Slovakia) and Ján Sorád (Technical University of Košice, Slovakia)
Copyright: 2015
Pages: 25
Source title: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming
Source Author(s)/Editor(s): Ricardo Queirós (Polytechnic Institute of Porto, Portugal)
DOI: 10.4018/978-1-4666-7304-5.ch006

Purchase

View Using Simulation Games in Teaching Formal Methods for Software Development on the publisher's website for pricing and purchasing information.

Abstract

Because of the current trend of massification of higher education, motivation of students is a serious issue, especially in courses closely related to mathematics. The ones that undoubtedly belong to this group are courses dealing with formal methods for software development, such as Z notation, B-Method, or VDM. The chapter shows how a customized simulation game can be used to bring a domain typical for utilization of formal methods, the railway domain, to students and thus motivate them to learn these sophisticated ways of software development. By means of two examples, it demonstrates that such a tool, despite its limited scope, can be used to teach a variety of concepts related to formal methods. It also discusses related approaches to teaching formal methods, describes the customized game and its application in teaching, and evaluates experience with the application.

Related Content

Yogesh Rao. © 2021. 23 pages.
Julie Neal. © 2021. 18 pages.
Andre Vilares Morgado. © 2021. 15 pages.
Carlos Brito. © 2021. 5 pages.
Damini Saini, Sunita Singh Sengupta. © 2021. 14 pages.
Bryan Christiansen. © 2021. 17 pages.
Luis Alfredo Bohórquez-Caldera. © 2021. 21 pages.
Body Bottom