Game-Based Monitors for Scenario-Based Specification.

Pengcheng Zhang Jun Yu Wenrui Li Hareton Leung

Published in: ICECCS (2013)

Keyphrases

digital educational games
learning process
learning tools
provably correct
information systems
formal specification
conceptual model
formal language
formal verification
specification language
game based learning
data sets
mobile learning
virtual environment
high level
machine learning
data mining