RE: F22 Raptor in slashdot.org

["rleif" <rleif@cox.net>]

The Chinese programs will also be of interest. At present, any enemy of the
US can download GNAT, which is a capable of high reliability software and
the US DoD is using C++ and Java. This type of situation has occurred
before. The German Army very effectively used the tank tactics published by
General Charles de Gaulle. Billy Mitchell invented the aircraft carrier and
the Japanese proved that they worked.

Bob Leif
Robert C. Leif, Ph.D.
Email rleif@rleif.com

-----Original Message-----
From: Wojtek Narczynski [mailto:wojtek@power.com.pl] 
Sent: Monday, August 04, 2003 5:43 AM
To: comp.lang.ada@ada.eu.org
Subject: Re: F22 Raptor in slashdot.org

Dmytry,

You may not be 100% correct about this. If you were also subscribed to
team-ada@acm.org you could have read a post from Roger Racine stating
"(...) My company wrote the software for the Apollo program, in
assembly code. Our country's strategic missiles have software written
in assembly code. I firmly believe that both those systems had (for
Apollo) and have (for our missiles) very few defects. But the cost of
the analysis and testing for both of those programs were -quite- high.
(...)" (I hope RR wouldn't mind getting cited). So it is really more
about costs. Companies that work for the gov't are not interesting in
lowering those costs. But I guess many people, definitely including
me, would love to hear what has been used to create software for
russian space programmes and aircrafts. Little information is
publically available about this.

Regards,
Wojtek