From: "Pat Rogers" <progers@NOclasswideSPAM.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: <P4gJ5.1705$n23.241196@nnrp2.sbc.net> (raw)
In-Reply-To: w0gJ5.1704$n23.240335@nnrp2.sbc.net
OOPS!
"Pat Rogers" <progers@NOclasswideSPAM.com> wrote in message
news:w0gJ5.1704$n23.240335@nnrp2.sbc.net...
<snip>
> 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/
Of course that date should be 1997! What's 20 years among friends...
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 ` Pat Rogers [this message]
2000-10-24 0:00 ` r_c_chapman
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