Have you found the error? A Formal Framework for Learning Game Verification

Amel Yessad (1) , Isabelle Mounier (2) , Jean-Marc Labat (1) , Fabrice Kordon (2) , Thibault Carron (1)

1 MOCAH - Modèles et Outils en ingénierie des Connaissances pour l'Apprentissage Humain
2 MoVe - Modélisation et Vérification

Specifications of Multi-Player Learning Games (MPLG) are expressed collaboratively by designers who don’t speak the same conceptual language. Often, specifications contain design errors and inconsistencies that are difficult to detect in playtests. In this paper, we present a formal framework to assist designers in modeling and automatic verification of learning games at the design stage of development process.

Domaines: Informatique [cs]

Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron. Have you found the error? A Formal Framework for Learning Game Verification. 9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. pp.476-481, ⟨10.1007/978-3-319-11200-8_45⟩. ⟨hal-01215670⟩