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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,208279d79d40e7d8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-08-27 09:00:17 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod.chapman@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: Re: Ada Advocacy. Date: 27 Aug 2003 09:00:16 -0700 Organization: http://groups.google.com/ Message-ID: References: NNTP-Posting-Host: 62.173.119.178 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1062000016 28334 127.0.0.1 (27 Aug 2003 16:00:16 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 27 Aug 2003 16:00:16 GMT Xref: archiver1.google.com comp.lang.ada:41896 Date: 2003-08-27T16:00:16+00:00 List-Id: > In the goal to boost the Ada programming language, along with the making of > my website, I'm looking for either documents We have lots of publications about Ada and SPARK both from conferences (Ada Europe, SigAda, ...) and journals (IEEE Software, IEEE Transactions, CrossTalk, ...). All of them on www.sparkada.com You should also link to CrossTalk's site probably - there have been some good Ada-related articles there recently (Peter Amey in March 2002, Richard Riehle more recently...) see www.stsc.hill.af.mil There are also some more Ada-related articles to come in CrossTalk I think - watch out for the November 2003 special issue on real-time systems... - Rod, SPARK Team, Praxis Critical Systems