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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,22c9fbc37d426c0c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-08-04 17:44:21 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!skynet.be!skynet.be!194.117.194.82.MISMATCH!freenix!enst.fr!not-for-mail From: "rleif" Newsgroups: comp.lang.ada Subject: RE: F22 Raptor in slashdot.org Date: Mon, 4 Aug 2003 17:42:48 -0700 Organization: ENST, France Message-ID: NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1060044200 75992 137.194.161.2 (5 Aug 2003 00:43:20 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Tue, 5 Aug 2003 00:43:20 +0000 (UTC) To: "'Wojtek Narczynski'" , Return-Path: X-Mailer: Microsoft Office Outlook, Build 11.0.5329 Thread-Index: AcNa5YIysU0gILdSRfajLmVOQL4ysgAA7Rlg In-Reply-To: <5ad0dd8a.0308040442.2879be18@posting.google.com> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1.2 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:41184 Date: 2003-08-04T17:42:48-07:00 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