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: 103376,f49c8f164340c377
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!g4g2000hsf.googlegroups.com!not-for-mail
From: roderick.chapman@googlemail.com
Newsgroups: comp.lang.ada
Subject: Re: Current status of Ada?
Date: Tue, 28 Aug 2007 07:58:35 -0000
Organization: http://groups.google.com
Message-ID: <1188287915.362195.177670@g4g2000hsf.googlegroups.com>
References: <1187726191.464593.16480@r34g2000hsd.googlegroups.com>
   <fafopu$4gb$1@jacob-sparre.dk>
   <bc9sp4-j21.ln1@newserver.thecreems.com>
   <YNLyi.52897$Xa3.21338@attbi_s22>
   <1187850312.375316.57440@z24g2000prh.googlegroups.com>
   <b4jAi.152$Sd4.105@nlpi061.nbdc.sbc.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
X-Trace: posting.google.com 1188287915 31518 127.0.0.1 (28 Aug 2007 07:58:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 28 Aug 2007 07:58:35 +0000 (UTC)
In-Reply-To: <b4jAi.152$Sd4.105@nlpi061.nbdc.sbc.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.8.1.6) Gecko/20070725 Firefox/2.0.0.6,gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.1 bloxx:3128 (squid/2.5.STABLE11)
Complaints-To: groups-abuse@google.com
Injection-Info: g4g2000hsf.googlegroups.com; posting-host=217.205.167.137;
   posting-account=ps2QrAMAAAA6_jCuRt2JEIpn5Otqf_w0
Xref: g2news2.google.com comp.lang.ada:1569
Date: 2007-08-28T07:58:35+00:00
List-Id: <comp.lang.ada>

>On Aug 26, 6:51 pm, <adawo...@sbcglobal.net> 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