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: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public From: jsa@alexandria (Jon S Anthony) Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/26 Message-ID: #1/1 X-Deja-AN: 228379552 Distribution: world References: <332B5495.167EB0E7@eiffel.com> Organization: PSI Public Usenet Link Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada Date: 1997-03-26T00:00:00+00:00 List-Id: In article <3336D167.6BFC@lmtas.lmco.com> Ken Garlington writes: > I will freely admit that Eiffel is required for Design by Contract. Why > do you hestiate to do the same? In fact, would it not be more accurate > to simply state your position as: "If the Ariane V had been programmed > in Eiffel, with proper use of Eiffel assertions, then the incident would > not have happened?" I agree. This would be perfectly understandable (even "reasonable"). > Why be so oblique in your paper? Simply make this assertion, give > the address where to order copies of Eiffel, print it on color > glossy paper, and send it to all the major aerospace companies? It > seems intellectually dishonest to say "this is not a language > issue." Yes, this, unfortunately (and _disappointingly_) has become precisely the point. Putting on airs of objectivity while repeatedly denying facts and stating contradictory claims doesn't help anything. Indeed, it just ends up annoying people and goading them. I don't understand why people of this calibre (and stature in the field) feel that they are somehow served by this kind of behavior. /Jon -- Jon Anthony Organon Motives, Inc. Belmont, MA 02178 617.484.3383 jsa@organon.com