From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: XP and Static Verification paper from SIGAda now on-line
Date: 14 Jan 2004 09:43:34 -0800
Date: 2004-01-14T09:43:34-08:00 [thread overview]
Message-ID: <cf2c6063.0401140943.71b56bc6@posting.google.com> (raw)
I'm pleased to say that our paper from SIGAda 2003 "Static
Verification and Extreme Programming" is now on-line at
www.sparkada.com
There have been some threads recently in this and other
groups pertaining to Praxis, SPARK, and the use of XP
in some of our projects such as SHOLIS and the MULTOS CA,
so I hope people find this interesting. I also hope
this paper might stir up the XP community a bit... :-)
- Rod
reply other threads:[~2004-01-14 17:43 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox