From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: An observation of Ada (may offend)
Date: 19 Mar 1995 17:20:33 -0500
Date: 1995-03-19T17:20:33-05:00 [thread overview]
Message-ID: <3kiani$i49@gnat.cs.nyu.edu> (raw)
In-Reply-To: 3kfg4d$5dc@felix.seas.gwu.edu
Isn't the channel tunnel signalling system in Ada? That certainly is not
a government project (the government holds an equity stake, but so do lots
of other people, in the private company that is digging and running the
thing!)
Actually it is not so surprising that many (but certainly not all) of the
Ada projects are govt related. First, high integrity large systems are
likely to be govt related (not too many companies are in the space
business for instance!!) Second, you are of course more likely to know
about the govt related projects.
There are certainly many examples of non-govt related Ada projects (Boeing
commercial is an obvious example). Earlier this week, I was at a meeting
at Praxis, who makes a tool, SPARC Examiner, used in the creation of
high integrity Ada code. They reported that more than half their customers
are commercial customers.
next prev parent reply other threads:[~1995-03-19 22:20 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-12 23:39 An observation of Ada (may offend) Matt Bruce
1995-03-13 0:34 ` David Weller
1995-03-14 4:49 ` Vladimir Vukicevic
1995-03-15 15:39 ` Ada myths (was: An observation of Ada (may offend)) Theodore Dennison
1995-03-17 17:00 ` An observation of Ada (may offend) Michael Feldman
1995-03-17 13:09 ` Fred J. McCall
1995-03-18 20:34 ` Michael Feldman
1995-03-19 22:20 ` Robert Dewar [this message]
1995-03-20 17:19 ` Michael Feldman
1995-03-21 21:02 ` Robert Dewar
1995-03-21 23:01 ` Kevin F. Quinn
1995-03-22 12:43 ` Mike Meier
1995-03-20 20:38 ` Kevin F. Quinn
1995-03-21 3:02 ` Michael M. Bishop
1995-03-20 9:31 ` Robb Nebbe
1995-03-20 20:16 ` Mats Weber
1995-03-22 19:44 ` Stephen McNeill
1995-03-28 14:48 ` Wes Groleau
1995-03-22 17:20 ` Richard G. Hash
-- strict thread matches above, loose matches on Subject: below --
1995-03-17 9:27 R.A.L Williams
1995-03-17 15:23 ` Robb Nebbe
1995-03-17 17:08 ` Norman H. Cohen
1995-03-20 3:23 ` S. Tucker Taft
1995-03-20 10:13 ` Robb Nebbe
1995-03-21 21:05 ` Robert Dewar
1995-03-20 16:15 ` Robert I. Eachus
1995-03-21 19:47 ` Norman H. Cohen
1995-03-22 1:28 ` David Weller
1995-03-23 5:47 ` Robert Dewar
1995-03-23 16:38 ` Robert I. Eachus
1995-03-24 10:46 ` Peter Hermann
1995-03-24 16:52 ` David Weller
1995-03-26 4:03 ` Robert Dewar
1995-03-24 21:33 ` Tucker Taft
1995-03-27 18:58 ` Mark A Biggar
1995-03-24 19:45 ` Garlington KE
1995-03-27 19:58 ` Robert I. Eachus
1995-03-28 16:29 ` Garlington KE
1995-03-28 19:30 ` Robert I. Eachus
1995-03-28 22:37 ` Garlington KE
1995-03-29 8:31 ` Robb Nebbe
1995-03-25 17:58 ` Robert Dewar
1995-03-26 6:20 ` R_Tim_Coslet
1995-03-27 20:38 ` Robert I. Eachus
1995-03-26 3:50 ` celier
[not found] ` <3l1lkq$pm6@gnat.csn <3l2o9a$3a1@infomatch.com>
1995-03-27 23:16 ` Robert Dewar
1995-03-23 18:05 ` John DiCamillo
1995-03-17 23:01 ` Larry Kilgallen, LJK Software
1995-03-18 12:41 ` Tucker Taft
1995-03-22 16:50 ` Renaud HEBERT
1995-03-23 23:23 ` John Volan
1995-03-24 0:38 ` Robert Dewar
1995-03-27 10:28 R.A.L Williams
1995-03-27 0:00 ` Norman H. Cohen
1995-04-04 0:00 ` Robert Dewar
1995-03-28 17:07 ` Larry Kilgallen, LJK Software
1995-03-27 10:38 R.A.L Williams
1995-03-30 3:14 ` Michael D. Griffin
1995-03-30 0:00 ` David Weller
1995-04-04 0:00 ` Jack Beidler
1995-04-04 0:00 ` Brian Rogoff
1995-03-29 0:00 R.A.L Williams
1995-03-30 0:00 R.A.L Williams
1995-04-03 0:00 ` Norman H. Cohen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox