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,f49c8f164340c377 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!newscon04.news.prodigy.net!prodigy.net!newsdst01.news.prodigy.net!prodigy.com!postmaster.news.prodigy.com!newssvr29.news.prodigy.net.POSTED!4988f22a!not-for-mail From: Newsgroups: comp.lang.ada References: <1187726191.464593.16480@r34g2000hsd.googlegroups.com> <1187850312.375316.57440@z24g2000prh.googlegroups.com> <1188287915.362195.177670@g4g2000hsf.googlegroups.com> Subject: Re: Current status of Ada? X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.3138 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3138 Message-ID: <1p7Bi.51199$YL5.31719@newssvr29.news.prodigy.net> NNTP-Posting-Host: 70.134.96.57 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr29.news.prodigy.net 1188364989 ST000 70.134.96.57 (Wed, 29 Aug 2007 01:23:09 EDT) NNTP-Posting-Date: Wed, 29 Aug 2007 01:23:09 EDT Organization: SBC http://yahoo.sbc.com X-UserInfo1: O@Y[R^[GZRRER_H]]RKB_UDAZZ\DPCPDLXUNNHPIMASJETAANVW[AKWZE\]^XQWIGNE_[EBL@^_\^JOCQ^RSNVLGTFTKHTXHHP[NB\_C@\SD@EP_[KCXX__AGDDEKGFNB\ZOKLRNCY_CGG[RHT_UN@C_BSY\G__IJIX_PLSA[CCFAULEY\FL\VLGANTQQ]FN Date: Wed, 29 Aug 2007 05:23:09 GMT Xref: g2news2.google.com comp.lang.ada:1578 Date: 2007-08-29T05:23:09+00:00 List-Id: Hi Rod, OK. iFACTS is a major project. However, it is not very visible in the U.S. Agree about JSF. However, the decision to use C++ was a bit insane. NSA might be actually using Ada, or it might be simply exploring it. If they are using it, some of my former NPS students who are now at NSA might be in the picture somewhere. However, I'll never know that since they abandon all contact once they are shackled to their cubicle at Ft Mead. I am trying to keep an active interest in SPARK. There are a few professors in our formal methods area who have an interest in SPARK and when you next visit NPS, I'll make sure you have a chance to present a little seminar for them. Richard ============================================= wrote in message news:1188287915.362195.177670@g4g2000hsf.googlegroups.com... > >On Aug 26, 6:51 pm, wrote: > > A few responses to a subset of Richard's points: > >> There is no single strong advocate for Ada at present. There is no powerful >> corporate sponsor as there is for Java. There is no major Ada project that >> is visible to the larger community of software developers. > > You don't consider iFACTS to be a "major" Ada project? Perhaps you > don't think it counts becuase it's based in the UK? > > >> JSF is being developed in C++. > > I think we should wait for results from JSF before jumping to > any conclusions... > > >> When have we last seen any publicity about the value of Ada for some major >> project? > > See PR stuff on Praxis and AdaCore sites - iFACTS for a start. > >> At present, I am the last hold-out for >> keeping >> Ada in some small part of our curriculum. > > I would suggest keeping SPARK on the curriculum and just quietly > forget to tell your colleagues that it's Ada... :-) > > I can think of one US government agency that's very interested > in having faculty teach strong software engineering, static > verification, formal methods and so on: the NSA. We have several > such universities doing so right now, using SPARK as the primary > vehicle. > > - Rod, SPARK Team > > > >