Have you found the error? A Formal Framework for Learning Game Verification - Archive ouverte HAL Access content directly
Conference Papers Year :

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

Abstract

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

Dates and versions

hal-01215670 , version 1 (14-10-2015)

Identifiers

Cite

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⟩
113 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More