Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers

Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / Antonio Cerone, Markus Roggenbach (eds.).

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019. The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from...

Full description

Saved in:
Bibliographic Details
Corporate Author: International Workshop on Formal Methods Fun for Everybody Bergen, Norway
Other Authors: Cerone, Antonio (Editor), Roggenbach, Markus (Editor)
Format: eBook
Language:English
Published: Cham : Springer, [2021]
Series:Communications in computer and information science ; 1301.
Subjects:
Formal methods (Computer science) > Congresses.
Formal methods (Computer science) > Study and teaching > Congresses.
Formal methods (Computer science)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • 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.

Similar Items