Executable Formal Specifications in Game Development

Games provide players with enjoyment, escapism, unique experiences and even a way to socialise. Software based games played on electronic devices such as computers and games consoles are a huge business that is still growing. New games are continually developed as demand for these digital games is h [...]
Visa längre beskrivning

Games provide players with enjoyment, escapism, unique experiences and even a way to socialise. Software based games played on electronic devices such as computers and games consoles are a huge business that is still growing. New games are continually developed as demand for these digital games is high. Digital games are often complex and have high requirements for quality. The complexity is especially apparent in complex multiplayer games and games that are constantly evolving. This complexity can be problematic in various stages of development. For example, understanding if a design of a game works as intended can be difficult. Managing changes that need to be made to a game during its lifetime, even after its initial release, is also challenging from both a design and an implementation standpoint.