From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: Re: official recommendations of Ada
Date: 22 Jul 2001 12:29:12 -0700
Date: 2001-07-22T19:29:13+00:00 [thread overview]
Message-ID: <ba18d5cb.0107221129.df5758a@posting.google.com> (raw)
In-Reply-To: fb75c450.0107212304.c63df1a@posting.google.com
hfrumblefoot@yahoo.com (Hambut) wrote in message news:<fb75c450.0107212304.c63df1a@posting.google.com>...
> Extracted from "NASA Guidebook for Safety Critical Software - Analysis
> and Development", NASA-GB-1740.13-96
> ...The Ada subset we have described
> is suitable for safety-critical systems.
I too read this document with some interest. It is both encouraging,
and also slightly baffling. The subset mentioned above is actually
identified earlier in the document as "SPADE Ada", by which I suspect
the authors mean SPARK. Despite this advice, my database shows
precisely zero NASA sites using the SPARK Examiner... ho hum... :-)
- Rod
next prev parent reply other threads:[~2001-07-22 19:29 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-07-17 7:13 official recommendations of Ada Russ
2001-07-17 13:11 ` Pat Rogers
2001-07-17 14:37 ` Larry Kilgallen
2001-07-17 21:32 ` Hambut
2001-07-18 21:54 ` Hambut
2001-07-19 0:30 ` Mike Silva
2001-07-20 6:59 ` Phil Thornley
2001-07-20 11:31 ` Peter Amey
2001-07-20 12:22 ` Robert Dewar
2001-07-22 7:04 ` Hambut
2001-07-22 19:29 ` Rod Chapman [this message]
2001-07-18 10:08 ` Martin Dowie
2001-07-20 12:43 ` codesavvy
2001-07-21 3:07 ` Larry Kilgallen
2001-07-21 6:10 ` James Rogers
2001-07-21 5:04 ` Ed Falis
2001-07-21 12:52 ` codesavvy
2001-07-23 3:53 ` An Assumption I Did Make (Was Re: official recommendations of Ada) codesavvy
2001-07-21 7:40 ` official recommendations of Ada Pascal Obry
2001-07-21 8:23 ` Pascal Obry
2001-07-21 13:01 ` codesavvy
2001-07-24 8:13 ` Colin Paul Gloster
2001-07-24 12:34 ` Software Metrics (was Re: official recommendations of Ada) Marin David Condic
2001-07-24 19:06 ` official recommendations of Ada codesavvy
2001-07-25 8:23 ` Colin Paul Gloster
2001-07-25 8:13 ` Colin Paul Gloster
2001-07-21 5:18 ` Mike Silva
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox