Having Fun in Learning Formal Specifications

03/01/2019
by   I. S. W. B. Prasetya, et al.
0

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 paper presents 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 in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work.

READ FULL TEXT
research
09/05/2023

Improving students' code correctness and test completeness by informal specifications

The quality of software produced by students is often poor. How to teach...
research
03/04/2019

A Serious Game for Introducing Software Engineering Ethics to University Students

This paper presents a game based on storytelling, in which the players a...
research
05/16/2019

Inferring Concise Specifications of APIs

Modern software relies on libraries and uses them via application progra...
research
03/05/2018

Carnap: An Open Framework for Formal Reasoning in the Browser

This paper presents an overview of Carnap, a free and open framework for...
research
06/02/2020

Automatized Evaluation of Formalization Exercises in Mathematics

We describe two systems for supporting beginner students in acquiring ba...
research
10/30/2020

Using Relational Problems to Teach Property-Based Testing

Context: The success of QuickCheck has led to the development of propert...
research
03/27/2018

Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

The Message Authenticator Algorithm (MAA) is one of the first cryptograp...

Please sign up or login with your details

Forgot password? Click here to reset