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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4eb65fab6deaa097 X-Google-Attributes: gid103376,public From: Wes Groleau Subject: Re: Lack of Mature Tools (was: Lockheed Martin, Green Hills, etc.) Date: 2000/04/24 Message-ID: <390472E9.E0A17BC6@ftw.rsc.raytheon.com>#1/1 X-Deja-AN: 615023151 Content-Transfer-Encoding: 7bit References: <4eaJ4.23498$hh2.538870@news.flash.net> <8d4lpa$ffu$1@nnrp1.deja.com> <8d531v$vcr$1@nnrp1.deja.com> <8d57mo$4d9@chronicle.concentric.net> X-Accept-Language: en,es,fr,pt Content-Type: text/plain; charset=us-ascii X-Complaints-To: news@ext.ray.com X-Trace: bos-service2.ext.raytheon.com 956592877 151.168.144.162 (Mon, 24 Apr 2000 12:14:37 EDT) Organization: Raytheon Company MIME-Version: 1.0 NNTP-Posting-Date: Mon, 24 Apr 2000 12:14:37 EDT Newsgroups: comp.lang.ada Date: 2000-04-24T00:00:00+00:00 List-Id: > > See the following site: > > http://www.mitre.org/support/swee/html/39_devine/index.htm > > then click on "Lack of Mature Tools". > > According to the website, both GNAT and AONIX have been used for this NATO > project. The page cited mentions defects in both GNAT and Aonix. In the interest of fairness: this project (NABK) also found a serious defect in code generation for protected calls in Apex. (However, Rational found the product the same time NABK did, so a patch was available within two days.) -- Wes Groleau http://freepages.genealogy.rootsweb.com/~wgroleau