Can Learning Formal Specification Be Fun? - Experience and Perspective
Publication date
2020-10-01
Authors
Prasetya, Wishnu
Leek, Craig Q.H.D.
Oosenbrug, Roan
Kostic, Petar
Vries, Mike De
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
Writing formal specifications is a useful skill for students to develop and to grow a positive mindset towards it. Unfortunately this is hampered by the stereotyping of formal method as dry and boring. In this short paper we discuss our experience in using of a computer game called FormalZ as an attempt to introduce some fun in teaching the skill. Two setups are discussed: as an embedded part of a course, and as a loose tutorial, after which we will conclude with the lessons learned.
Keywords
gamification in teaching formal method, gamification in teaching software engineering, teaching formal method, Taverne, Software, Safety, Risk, Reliability and Quality, Modelling and Simulation
Citation
Prasetya, I S W B, Leek, C Q H D, Oosenbrug, R, Kostic, P & Vries, M D 2020, Can Learning Formal Specification Be Fun? - Experience and Perspective. in 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)., 9155935, IEEE, pp. 437-440, 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, 23/03/20. https://doi.org/10.1109/ICSTW50294.2020.00078, conference