ANN: SV/XP/DbC paper now available (Was TDD...)

From: Rod Chapman (rod.chapman_at_praxis-cs.co.uk)
Date: 01/15/04 

Date: 15 Jan 2004 01:31:29 -0800

Following recent threads in these groups on TDD and other
matters, I've managed to make our recent paper on
"Static Analysis and Extreme Programming" available.

This was presented recently at the ACM SIGAda conference.

It's available in PDF from www.sparkada.com

Abstract.

At first glance, the worlds of high-integrity software engineering and
Extreme Programming (XP) seem to have little in common. Somewhat
surprisingly, we have found the reverse to be the case?indeed it seems
that many practices advocated by the XP community are familiar to us
from many years? of experience in building safety- and security-critical
systems. This paper discusses our experiences in applying some XP
practices in critical projects. Secondly, we discuss how static
verification can augment XP, particularly in the Pairwise Programming
and Refactoring practices.

Comments and questions always welcome!
 - Rod Chapman, SPARK Team, Praxis Critical Systems Limited