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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,f3e5998c25de429e X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!z7g2000vbh.googlegroups.com!not-for-mail From: roderick.chapman@googlemail.com Newsgroups: comp.lang.ada Subject: Re: Arguments for using Ada Date: Tue, 19 May 2009 04:28:38 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <77f9ljF1h8vniU1@mid.individual.net> NNTP-Posting-Host: 141.157.53.47 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1242732519 5570 127.0.0.1 (19 May 2009 11:28:39 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 19 May 2009 11:28:39 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: z7g2000vbh.googlegroups.com; posting-host=141.157.53.47; posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB; rv:1.9.0.10) Gecko/2009042316 Firefox/3.0.10,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:5939 Date: 2009-05-19T04:28:38-07:00 List-Id: On May 19, 9:41=A0am, Georg Maubach wrote: > - Links with content (e.g. research) that proofs that development with > Ada results in less defects than progams in other languages I would add "The existence of SPARK" to your list of things that are special and/or notable about Ada. For data on defect rates, see the various publications regarding SPARK usage on www.sparkada.com Also see Andy German's paper from CrossTalk (google for "German Crosstalk QinetiQ"). See the Tokeneer system from www.adacore.com/tokeneer - Rod, SPARK Team