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-Thread: 103376,df1a7f1c3c3bc77e X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!news.astraweb.com!router2.astraweb.com!newscon04.news.prodigy.net!prodigy.net!newsdst01.news.prodigy.net!prodigy.com!postmaster.news.prodigy.com!nlpi069.nbdc.sbc.com.POSTED!4988f22a!not-for-mail From: Newsgroups: comp.lang.ada References: <592dnbDWOqzXLqfbnZ2dnUVZ_h-vnZ2d@comcast.com> <1178268426.023944.289630@l77g2000hsb.googlegroups.com> Subject: Re: An Ada Advice Inquiry X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-RFC2646: Format=Flowed; Original Message-ID: NNTP-Posting-Host: 70.134.100.216 X-Complaints-To: abuse@prodigy.net X-Trace: nlpi069.nbdc.sbc.com 1178277414 ST000 70.134.100.216 (Fri, 04 May 2007 07:16:54 EDT) NNTP-Posting-Date: Fri, 04 May 2007 07:16:54 EDT Organization: AT&T http://yahoo.sbc.com X-UserInfo1: TSU[@I_AOHV[RVT[AROR__TDFZ\@@FXLM@TDOCQDJ@_@FNXACNVOPCWZBL[\YUWHANGYZEFNHFZPNLOBUNSS^_LGEVWEY\PHO@YJSSWBBDT\PFD^ESBTXVCCMTD]JCJLE\_IJMFNRY]SWE[S[D_CNB__ZK^VGVCKHA[S@COB^[@ZQSDFQ\BPMS@DZVUKQTJL Date: Fri, 4 May 2007 04:17:05 -0800 Xref: g2news1.google.com comp.lang.ada:15509 Date: 2007-05-04T04:17:05-08:00 List-Id: Rod, Thanks. Richard wrote in message news:1178268426.023944.289630@l77g2000hsb.googlegroups.com... > On May 4, 6:47 am, "Randy Brukardt" wrote: >> Speaking of Praxis, they just had an announcement on a new air traffic >> control system (in the UK) that is programmed in Ada. > > Indeed - iFacts is very large, new, and using Ada (and SPARK of > course...) > Check out out press release here: > http://www.praxis-his.com/news/radarMar2007.asp > > We _won_ this project by bidding Correctness by Construction, Formal > Methods, > Ada, SPARK etc. etc, against some very stuff competition. > - Rod >