Computer-aided game design

Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…

Simulation as a game design tool

In this paper we suggest using gameplay simulations on a logical event level as a design tool already in the early stages of the development process. The approach is centred on abstracting all unnecessary details of the gameplay to produce a highly simplified model of the game system. Compared to other kinds of intermediate design representations, such as sketches and prototypes, the simulations can reveal problems and opportunities in the longer term dynamics of possible gameplay. As an example we describe an implementation of a simulation model for the game Tower Bloxx using a simulation software package called DisCo.