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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be9bf965710b207c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-22 12:29:13 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: Re: official recommendations of Ada Date: 22 Jul 2001 12:29:12 -0700 Organization: http://groups.google.com/ Message-ID: References: NNTP-Posting-Host: 193.114.91.187 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 995830153 4137 127.0.0.1 (22 Jul 2001 19:29:13 GMT) X-Complaints-To: groups-support@google.com NNTP-Posting-Date: 22 Jul 2001 19:29:13 GMT Xref: archiver1.google.com comp.lang.ada:10427 Date: 2001-07-22T19:29:13+00:00 List-Id: hfrumblefoot@yahoo.com (Hambut) wrote in message news:... > 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