Having Fun in Learning Formal Specifications 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 preand postconditions. 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 usersu0027 evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work.

Gamification and ProjectBased Learning as Software Quality Teaching Methodologies Approaches such as Gamification and ProjectBased Learning have been employed in a variety of opportunities to provoke students to build and develop knowledge. Such strategies help both the motivation to perform the activity and the cognitive performance of students and are crucial to undergraduate education. Thus, the objectives of this work are to present and execute a methodology of software quality teaching through gamification and ProjectBased Learning and to detail a view from an experiment with undergraduate students. The research was divided into (a) Macrovision: the application of the PBL for the experimentu0027s structure, and (b) Microvision: the use of gamification through the development and practice of quality learning games. This process resulted in the implementation of three games about software quality, which forest student learning once the discipline was evaluated as meaningful and positive. Still, some lessons learned from this methodology mark the results of this work.