Game Development using Design-by-Contract.

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

Research output: Contribution to journalArticleResearchpeer-review

16 Downloads (Pure)

Abstract

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
Volume5
Issue number7
DOIs
Publication statusPublished - Sep 2006

Fingerprint

Formal methods

Cite this

Paige, Richard F. ; Attridge, Triston S. ; Brooke, Phillip J. / Game Development using Design-by-Contract. In: Journal of Object Technology. 2006 ; Vol. 5, No. 7. pp. 57-73.
@article{717a3e9d43794083baf92a3805caad0d,
title = "Game Development using Design-by-Contract.",
abstract = "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.",
author = "Paige, {Richard F.} and Attridge, {Triston S.} and Brooke, {Phillip J.}",
year = "2006",
month = "9",
doi = "10.5381/jot.2006.5.7.a3",
language = "English",
volume = "5",
pages = "57--73",
journal = "Journal of Object Technology",
issn = "1660-1769",
publisher = "Chair of Software Engineering",
number = "7",

}

Paige, RF, Attridge, TS & Brooke, PJ 2006, 'Game Development using Design-by-Contract.', Journal of Object Technology, vol. 5, no. 7, pp. 57-73. https://doi.org/10.5381/jot.2006.5.7.a3

Game Development using Design-by-Contract. / Paige, Richard F.; Attridge, Triston S.; Brooke, Phillip J.

In: Journal of Object Technology, Vol. 5, No. 7, 09.2006, p. 57-73.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Game Development using Design-by-Contract.

AU - Paige, Richard F.

AU - Attridge, Triston S.

AU - Brooke, Phillip J.

PY - 2006/9

Y1 - 2006/9

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

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

U2 - 10.5381/jot.2006.5.7.a3

DO - 10.5381/jot.2006.5.7.a3

M3 - Article

VL - 5

SP - 57

EP - 73

JO - Journal of Object Technology

JF - Journal of Object Technology

SN - 1660-1769

IS - 7

ER -