Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 14:45 - 14:55 at St-Denis / Notre-Dame - Novel Approaches in SE Education Chair(s): Hakan Erdogmus

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. 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.

Fri 31 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

14:00 - 15:30: Software Engineering Education and Training - Novel Approaches in SE Education at St-Denis / Notre-Dame
Chair(s): Hakan ErdogmusCarnegie Mellon University
icse-2019-Software-Engineering-Education-and-Training14:00 - 14:15
Elisa BaniassadUniversity of British Columbia, Alice CampbellThe University of British Columbia, Tiara AllidinaThe University of British Columbia, Asrai OrdThe University of British Columbia
icse-2019-Software-Engineering-Education-and-Training14:15 - 14:30
Mazyar SerajUniversity of Bremen & German Research Center for Artificial Intelligence (DFKI), Cornelia S. GroßeUniversity of Bremen, Serge AutexierGerman Research Center for Artificial Intelligence (DFKI), Rolf DrechslerUniversity of Bremen & German Research Center for Artificial Intelligence (DFKI)
icse-2019-Software-Engineering-Education-and-Training14:30 - 14:45
Zahra ShakeriUniversity of Calgary, Muneera BanoSwinburne University of Technology, Melbourne, Didar ZowghiUniversity of Technology, Sydney
icse-2019-Software-Engineering-Education-and-Training14:45 - 14:55
Wishnu PrasetyaUtrecht University, Craig LeekUtrecht University, Orestis MelkonianUtrecht University, Joris ten TusscherUtrecht University, Jan van BergenUtrecht University, Jasper EverinkUtrecht University, Thomas van der KlisUtrecht University, Rick MeijerinkUtrecht University, Roan OosenbrugUtrecht University, Jelle OostveenUtrecht University, Tijmen van den PolUtrecht University, Wink van ZonUtrecht University
icse-2019-Posters14:55 - 15:01
Dag Erik Homdrum LøvgrenAcando AS, Jingyue LiNorwegian University of Science and Technology, Tosin Daniel OyetoyanSINTEF Digital
icse-2019-Software-Engineering-Education-and-Training15:01 - 15:30