682 search results - page 25 / 137 » Game Development Using Design-by-Contract |
ACMACE
2007
ACM
14 years 1 months ago
2007
ACM
We present a game for children, developed to inform children about global warming. The main focus is the evaluation of children's user experience with easy to use methods. We...
GAMEON
2007
13 years 11 months ago
2007
This paper describes the design and implementation of an interactive walk-through of a reconstructed German stronghold, the Dillenburg. The application is currently in use at the ...
ICCSA
2011
Springer
13 years 1 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper explains SAMO, an educational game for Spanish orthography. The game is an evolution of MITO, which was evaluated with real students. Using information obtained from th...