From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_40,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 18 Jun 93 12:59:17 GMT
From: psinntp!witch!mlb!mbayern@uunet.uu.net  (Mark Bayern)
Subject: Re: More DoD use of everything but Ada
Message-ID: <135@mlb.win.net>
List-Id: <comp.lang.ada>

Greg,

About your list --
 
1.  The following probably doesn't belong on the list -- comp sci
research is not an engineering field.  I have always felt Ada is
intended to improve software engineering.  Its kinda' like the
difference between mechanical engineers and physicists.  The
engineers need to build stuff that works, the physicists are
looking to discover new things and new principles. 

>
>DARPA FUNDS TEMPORAL REASONING MODELS
>    The July 1993 issue of SIGART (like SIGADA, but for A.I.) Bulletin is
>devoted to temporal reasoning systems, a difficult problem in the field of
>artificial intelligence.  And like all other advanced research in computer
>science, none of this work is being done in Ada.  And what work is done,
>much is funded by those zealous defenders of the Ada Mandate, DARPA.
>Here, two DARPA funded efforts are mentioned. One is a system, Tachyon,
>being developed with funding from DARPA through the Air Force's Rome
>Laboratory.  The second is a system written in KRSL for testing temporal
>reasoning systems, funded by the Air Force's Rome Laboratory.
>


2.  Your list shouldn't be in competition with Mike's.  His is a
list of Ada use outside the mandated world.  It shows the
(unfortunately) slow acceptance Ada is getting out here.  However,
it does show that Ada is getting some use outside the mandated
world.  Your list shows that the mandate is not taken seriously by
those who should do so.  They should either learn how to work with
the mandate or get rid of it.  (I'd vote for the 2nd option.) 

>
>Please send any submissions for this list to me by email.  Help me make
>my list longer than Mike's.



Mark