Game Development using Design-by-Contract

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


O ur 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.

Cite as:

Richard F. Paige, Triston S. Attridge, Phillip J. Brooke, “Game Development using Design-by-Contract”, Journal of Object Technology, Volume 5, no. 7 (September 2006), pp. 57-73, doi:10.5381/jot.2006.5.7.a3.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact