«Learning formal specification should also be fun»
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This talk will present a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications. Unlike existing software engineering themed education games, FormalZ takes a rather radical approach, namely deep gamification where playing gets a more central role in order to generate more engagement. We will discuss the results of our field study with this game, what we learned from this study and our recommendation for future work.
S.W.B. (Wishnu) Prasetya is researcher and lecturer at the Department of Information and Computing Sciences, Utrecht University. His field of research is software testing and verification. actively conducts research in the field of software testing and verification. In the past ten years he has been lecturing in courses such as Modelling and System Development, Software Testing and Verification, ICT Entrepreneurship, and Software Project. He investigates ways to use computers to test software, so that the burden of manual work can be reduced and, hence producing better quality software while reducing the cost. He is also the author and maintainer of the tool T3, which is an automated random-based testing tool to test Java classes (https://git.science.uu.nl/prase101/t3/wikis/home).