Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Software Engineering for Real-Time Systems
Software Engineering for Real-Time Systems
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Game Design Workshop: Designing, Prototyping, and Playtesting Games
Game Design Workshop: Designing, Prototyping, and Playtesting Games
Simulation as a game design tool
Proceedings of the International Conference on Advances in Computer Enterntainment Technology
The art of game design: a book of lenses
The art of game design: a book of lenses
ACM SIGSOFT Software Engineering Notes
Applying lehman's laws to game evolution
Proceedings of the 2013 International Workshop on Principles of Software Evolution
| Hi-index | 0.00 |
Computer games have become increasingly complex. Modern game specifications need to accommodate many detailed design documents, which results in increasing complexity. Complex games are difficult to understand, maintain and update, but their software cannot be extensively functional, as this might confuse the player. Consequently, game developers can benefit from following precise guidelines to design games for players. Formal methods can provide a suitable specification environment to formalize static and dynamic game aspects and realistically model game rules and events. At a higher level of abstraction, a formal game model can provide understandability and communication of the activities within a development process.