Game Development Using Design-by-Contract

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

doi:10.5381/jot.2006.5.7.a3

Game Development Using Design-by-Contract

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

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	Undefined/Unknown
Journal	Journal of Object Technology
Volume	5
Issue number	7
DOIs	https://doi.org/10.5381/jot.2006.5.7.a3
Publication status	Published - 2006

Access to Document

10.5381/jot.2006.5.7.a3

http://dx.doi.org/10.5381/jot.2006.5.7.a3

Cite this

@article{263f612bab3c4eee926b5fca329ac0af,

title = "Game Development Using Design-by-Contract",

abstract = "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.",

author = "Paige, {Richard F.} and Attridge, {Triston S.} and Brooke, {Phillip J.}",

year = "2006",

doi = "10.5381/jot.2006.5.7.a3",

language = "Undefined/Unknown",

volume = "5",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Journal of Object Technology",

number = "7",

}

TY - JOUR

T1 - Game Development Using Design-by-Contract

AU - Paige, Richard F.

AU - Attridge, Triston S.

AU - Brooke, Phillip J.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.5381/jot.2006.5.7.a3

DO - 10.5381/jot.2006.5.7.a3

M3 - Article

SN - 1660-1769

VL - 5

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 7

ER -