Game Development using Design-by-Contract

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

Abstract

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.