Game Development using Design-by-Contract.

Richard F. Paige, Triston S. Attridge, Phillip J. Brooke

Research output: Contribution to journalArticlepeer-review

126 Downloads (Pure)


There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development conditions, and encompasses both qualitative and empirical results.
Original languageEnglish
Pages (from-to)57-73
JournalJournal of Object Technology
Issue number7
Publication statusPublished - Sept 2006


Dive into the research topics of 'Game Development using Design-by-Contract.'. Together they form a unique fingerprint.

Cite this