Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.
Eduard KamburjanLukas GrätzPublished in: FMTea (2021)
Keyphrases
- interactive visualization
- formal methods
- serious games
- digital games
- virtual environment
- data visualization
- interactive visual
- information visualization
- model checking
- video games
- knowledge based systems
- learning processes
- artificial intelligence
- computer games
- design principles
- educational games
- game play
- game design
- formal specification
- software engineering
- learning environment
- data mining
- expert systems
- learning tools
- metadata
- learning algorithm
- machine learning