From: jpt@diphi.demon.co.uk (JP Thornley)
Subject: Re: Ada safety road Was: Which is right ...
Date: 1999/06/12
Date: 1999-06-12T00:00:00+00:00 [thread overview]
Message-ID: <489533776wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 7jsdkf$v3p$1@nnrp1.deja.com
In article: <7jsdkf$v3p$1@nnrp1.deja.com> Robert Dewar
<robert_dewar@my-deja.com> writes:
(with reference to the HRG Guidance)
> it is VERY specifically aimed at safety critical programming
> in Ada
Definitely not so - and if this becomes the accepted idea then a number
of programmers are likely to ignore a very useful document.
(Particularly if they take Robert's other comments to mean that
safety-critical programming is an arcane art with little connection to
the 'real-world').
The Guide is _aimed at_ producers of high integrity software, where the
software supplier is (usually) required to demonstrate the integrity of
the software to a third party (who may be a certification authority or,
perhaps, a knowledgeable customer).
It is _useful to_ anyone who wants to make consistent use of one or more
of the verification methods referenced in the Guide as it helps them to
avoid language features that are difficult to verify by the chosen
techniques. (All of the usual techniques are included in the Guide.)
In another message, "Vladimir Olensky" <vladimir_olensky@yahoo.com>
wrote:
> What is interesting it was published only 30 days ago (99-05-11).
Yes, but that is simply the latest in a long line of minor revisions.
The document has been largely unchanged for over a year - an earlier
draft was published in Ada Letters last year (may have been around
April/May) and there are some detailed changes from that version, but
nothing major.
Phil Thornley
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
| phil.thornley@acm.org |
------------------------------------------------------------------------
next prev parent reply other threads:[~1999-06-12 0:00 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-30 0:00 Which is right here - GNAT or OA ? Vladimir Olensky
1999-05-30 0:00 ` Florian Weimer
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Robert Dewar
1999-06-07 0:00 ` Ada safety road Was: Which is right Vladimir Olensky
1999-06-06 0:00 ` Larry Kilgallen
1999-06-07 0:00 ` Keith Thompson
1999-06-07 0:00 ` Hyman Rosen
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Keith Thompson
1999-06-09 0:00 ` dennison
1999-06-09 0:00 ` Entamology of "Nasal Demons" dennison
1999-06-09 0:00 ` Ada safety road Was: Which is right Robert Dewar
1999-06-09 0:00 ` Tucker Taft
1999-06-09 0:00 ` Robert Dewar
1999-06-08 0:00 ` Robert Dewar
1999-06-09 0:00 ` dennison
1999-06-08 0:00 ` Robert Dewar
1999-06-07 0:00 ` Keith Thompson
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Robert A Duff
1999-06-14 0:00 ` Ada safety road Franco Mazzanti
1999-06-15 0:00 ` Franco Mazzanti
1999-06-16 0:00 ` Vladimir Olensky
1999-06-06 0:00 ` Ada safety road Was: Which is right Robert Dewar
1999-06-07 0:00 ` Pascal F. Martin
1999-06-07 0:00 ` Vladimir Olensky
1999-06-08 0:00 ` Robert A Duff
1999-06-10 0:00 ` Peter Amey
1999-06-10 0:00 ` Markus Kuhn
1999-06-11 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Robert Dewar
1999-06-12 0:00 ` JP Thornley [this message]
1999-06-13 0:00 ` Vladimir Olensky
1999-06-16 0:00 ` William Dale
1999-06-19 0:00 ` JP Thornley
1999-06-21 0:00 ` Robert A Duff
1999-06-13 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Matthew Heaney
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` swhalen
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Which is right here - GNAT or OA ? Florian Weimer
1999-06-01 0:00 ` Tucker Taft
1999-05-30 0:00 ` Robert Dewar
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-01 0:00 ` dennison
1999-05-31 0:00 ` David Botton
1999-06-01 0:00 ` dennison
1999-06-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox