Digital games are a powerful means for creating enticing, beautiful, educational, and often
highly addictive interactive experiences that impact the lives of billions of players worldwide …

Model-driven game development (MDGD) introduces model-driven methodology to the
computer game domain, shifting the focus of game development from coding to modeling to …

Pervasive games are a new way of social interaction through new technologies such as
sensors, software applications and network communication that can be found in mobile …

Abstract Design and development of Location-Based Games (LBG) are not trivial tasks due
to their pervasive nature, multidisciplinary requirements, and global deployment issues. This …

In this paper, we show the correspondence existing between normalization in calculi with
explicit substitution and cut elimination in sequent calculus for linear logic, via proof nets …

Several approaches have been proposed to manage the game domain variability in different
instances and strategies. However, the idea of an one-size-fits-all game architecture can be …

Model-driven game development (MDGD) leverages the concept of model-driven
engineering and game development. The focus of MDGD is to automate the game …

Location-Based Games (LBGs) are a subclass of pervasive games that make use of location
technologies to consider the players' geographic position in the game rules and mechanics …

The MulSeMedia has been considered the great challenge of Multimedia for the next ten
years. Aiming to stimulate other human sensory receptors such as mechanoreceptors …

Software development faces challenges from high expectation of software qualities,
complexity of software and long development cycle. While Domain Specific Modeling (DSM) …