Game Development using Design-by-Contract.

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

Research output: Contribution to journalArticle

75 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 journalArticle

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 -