* ANN: XP and Static Verification paper from SIGAda now on-line
@ 2004-01-14 17:43 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2004-01-14 17:43 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-01-14 17:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-01-14 17:43 ANN: XP and Static Verification paper from SIGAda now on-line Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox