ICST 2020 (series) / TestEd 2020 (series) / TestEd 2020 /
Can Learning Formal Specification Be Fun? - Experience and Perspective
Wed 28 Oct 2020 14:30 - 14:45 at Arrábida - Session II
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.
Wed 28 OctDisplayed time zone: Lisbon change
Wed 28 Oct
Displayed time zone: Lisbon change
14:00 - 14:45 | |||
14:00 15mTalk | How to Teach Software Testing? Experiences with a Sandwich Approach TestEd 2020 Leen Lambers Hasso-Plattner-Institut, Universität Potsdam
Link to publication DOI | ||
14:15 15mTalk | A Case-based Approach for introducing Testing Tools and Principles TestEd 2020 Frédéric Dadeau Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon, Jean-Philippe Gros , Fabien Peureux Institut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S Link to publication DOI | ||
14:30 15mTalk | Can Learning Formal Specification Be Fun? - Experience and Perspective TestEd 2020 Wishnu Prasetya Utrecht University, Craig Leek Utrecht University, Roan Oosenbrug Utrecht University, Petar Kostic Utrecht University, Mike de Vries Utrecht University Link to publication DOI |