The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Using Simulation Games in Teaching Formal Methods for Software Development
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
Sunil Ramlall, Ted Cross, Michelle Love.
© 2022.
13 pages.
|
Huri B. Kose, Isha Kalanee, Yetkin Yildirim.
© 2022.
13 pages.
|
Zeynep Merve Ünal.
© 2022.
28 pages.
|
Sharon Kehl Califano.
© 2022.
16 pages.
|
Miary Andriamiarisoa.
© 2022.
23 pages.
|
Matthew Williwam Hurtienne.
© 2022.
17 pages.
|
Emily Guetzoian.
© 2022.
18 pages.
|
|
|