Upcoming Events
Unite 2010
11/10 - 11/12 @ Montréal, Canada

GDC China
12/5 - 12/7 @ Shanghai, China

Asia Game Show 2010
12/24 - 12/27  

GDC 2011
2/28 - 3/4 @ San Francisco, CA

More events...
Quick Stats
184 people currently visiting GDNet.
2406 articles in the reference section.

Help us fight cancer!
Join SETI Team GDNet!
Link to us Events 4 Gamers
Home » Articles & Resources » Programming » Software Engineering » Formal Methods
Intel sponsors gamedev.net search:
Formal Methods
 Resources Listed: 8
Formal Methods
Topic Author Description
A Review of Formal Methods
[Added: 8/29/2001] 		Robert L. Vienneau  This report overviews the technical basis for formal methods, while critically noting weaknesses. 
An Analysis of two Formal Methods: VDM and Z
[Added: 8/29/2001] 		Thomas McGibbon  This paper compares and contrasts the strengths and weaknesses of the Vienna Development Method (VDM) and Z in the software design life cycle phase, and compares and contrasts VDM and Z to other formal models. 
Beyond the black box: Open implementation
[Added: 8/29/2001] 		Gregor Kiczales  Open Implementation is a software design technique that helps write modules that are both reusable and very efficient for a wide range of clients.  
Blind Man's Bluff
[Added: 3/20/2004] 		Dean Margerison  Provides a brief insight into the current problems that many projects face, and what can be done to transform the situation for the better. 
Game Unified Process
[Added: 5/14/2003] 		Kevin Flood  Describes how the author applied Rational and XP development processes to game development. 
Incremental Development
[Added: 6/24/2002] 		Drew Sikora  This article will introduce you to a method of development that will supplement skill, knowledge, dedication, and goals in order to enable you to achieve your goals. 
Test Driving Expression Template Programming
[Added: 6/27/2004] 		Kent Lai  In this article, you will be introduced to the concept of writing unit tests for your projects, and going a step further, to begin driving your development process with the test first, code later concept. 
 
 Key: = HTML article hosted here  , = HTML article hosted elsewhere  = link to another web site  = Adobe Acrobat document  = Zip files  = Word or text document