Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

ISBN-13: 9783030713737 / Angielski / Miękka / 2021 / 227 str.

Antonio Cerone; Markus Roggenbach

Spis treści

Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper.- Axiom Based Testing for Fun and Pedagogy.- Teaching Formal Methods for Fun Using Maude.- Fun with Formal Methods for Better Education.- Adapting to Different Types of Target Audience in Teaching Formal Methods.- Prototyping Games using Formal Methods.- Teaching Model Checking via Games and Puzzles.- Formal Methods and Cybersecurity Education.- Teaching Them Early: Formal Methods in School.- From Stories to Concurrency: How Children Can Play with Formal Methods.- When the Student becomes the Teacher.- Teaching formal methods in academia: a systematic literature review.