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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,267eec8ad557a7d0 X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: ARIANE-5 Failure (DC-X works) Date: 1996/06/08 Message-ID: #1/1 X-Deja-AN: 159236213 references: <834097751.22632.0@assen.demon.co.uk> <31B7A88D.446B@lri.fr> <4p9m1j$pm2@dfw.dfw.net> <31B84662.7930@lmtas.lmco.com> <4pd540$rl2@Starbase.NeoSoft.COM> <4pd7qc$kp2@dfw-ixnews4.ix.netcom.com> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-06-08T00:00:00+00:00 List-Id: Eugene says "vehicles have problems. The DC-X flight control software is in Ada and is all computer generated. You would not want to maintain this code by hand." Sounds bogus, ultimately the code is maintained by humans, we do not yet have robots that can write and maintain code. Sure the code may be in some other language than Ada and then generate Ada (if the Ada is not maintained, but is just used as an intermediate language, it is essentially irrelevant that it is Ada). So the question is: what language WAS the software written in? And what is the argument that this code is easier to maintain than properly written Ada? I am always running into the vague notion that someone program generators and CASE tools eliminate programming completely. All too often what is really happening is that the code is being written in some poorly designed and poorly defined and poorly maintained language.