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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a4f8086caa576c89
X-Google-Attributes: gid103376,public
From: r_c_chapman@my-deja.com
Subject: Re: Mission Critical Software Development for Avionic Systems
Date: 2000/10/24
Message-ID: <8t4725$5sq$1@nnrp1.deja.com>#1/1
X-Deja-AN: 685249992
References: <8t3jhc$mt5$1@nnrp1.deja.com>
 <w0gJ5.1704$n23.240335@nnrp2.sbc.net>
X-Http-Proxy: 1.0 PROXY,
 1.0 x69.deja.com:80 (Squid/1.1.22) for client 193.114.91.187
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue Oct 24 14:41:12 2000 GMT
X-MyDeja-Info: XMYDJUIDr_c_chapman
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.73 [en] (WinNT; U)
Date: 2000-10-24T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <w0gJ5.1704$n23.240335@nnrp2.sbc.net>,
  "Pat Rogers" <progers@NOclasswideSPAM.com> wrote:
> Also definitely have a look at the SPARK toolset from Praxis Critical
> Systems Limited in the UK.  John Barnes has a book on the subject too:
> "High Integrity Ada: The SPARK Approach", published by Addison-Wesley
> (my copy is dated 1977 but there is a later version if memory serves).
> See http://www.praxis-cs.co.uk/

Err...1997 I think!  A second printing, including release 5.0
of the Examiner tool is in production now, and should
be in the shops soon.  The first printing is now sold out.
 Rod Chapamn
 SPARK Team
 Praxis Critical Systems
 rod@praxis-cs.co.uk


Sent via Deja.com http://www.deja.com/
Before you buy.