From: r_c_chapman@my-deja.com
Subject: Re: Mission Critical Software Development for Avionic Systems
Date: 2000/10/24
Date: 2000-10-24T00:00:00+00:00 [thread overview]
Message-ID: <8t4725$5sq$1@nnrp1.deja.com> (raw)
In-Reply-To: w0gJ5.1704$n23.240335@nnrp2.sbc.net
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.
next prev parent reply other threads:[~2000-10-24 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-24 0:00 Mission Critical Software Development for Avionic Systems cakmakci
2000-10-24 0:00 ` Pat Rogers
2000-10-24 0:00 ` r_c_chapman [this message]
2000-10-24 0:00 ` Pat Rogers
2000-10-25 0:00 ` mjsilva
2000-10-26 0:00 ` samsim
2000-10-26 16:30 ` mjsilva
2000-10-24 0:00 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox