Game Development Using Design-by-Contract

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.

• Type: Journal
• Year: 2006
• Where: JOT
• Authors: Richard F. Paige, Triston S. Attridge, Phillip J. Brooke
• Keywords: Formal Engineering Methods, Formal Methods, JOT 2006, Realistic Game Development