From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9e1ebb38d03b43fc,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-14 09:43:35 PST
Path: archiver1.google.com!postnews2.google.com!not-for-mail
From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Newsgroups: comp.lang.ada
Subject: ANN: XP and Static Verification paper from SIGAda now on-line
Date: 14 Jan 2004 09:43:34 -0800
Organization: http://groups.google.com
Message-ID: <cf2c6063.0401140943.71b56bc6@posting.google.com>
NNTP-Posting-Host: 62.173.119.178
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1074102215 28365 127.0.0.1 (14 Jan 2004 17:43:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 14 Jan 2004 17:43:35 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:4410
Date: 2004-01-14T09:43:34-08:00
List-Id: <comp.lang.ada>

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