Game Development Using Design-by-Contract

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

Research output: Contribution to journalArticlepeer-review


Our agenda is to focus on one specific application domain, networked multiplayer games, and to demonstrate qualitatively and empirically that lightweight formal engineering methods can be usefully and effectively applied in their construction. This is an important domain on which to focus: it is financially significant and offers substantial technical challenges.
Original languageUndefined/Unknown
JournalJournal of Object Technology
Issue number7
Publication statusPublished - 2006

Cite this