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: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: Ken Garlington Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/24 Message-ID: <3336E428.6339@lmtas.lmco.com>#1/1 X-Deja-AN: 228033273 References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <5gm8a6$2qu$2@news.irisa.fr> <3332BE49.8F9@lmtas.lmco.com> <33330FE5.3F54BC7E@eiffel.com> Organization: Lockheed Martin Tactical Aircraft Systems Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada Date: 1997-03-24T00:00:00+00:00 List-Id: Anders Pytte wrote: > > True, but not really relevant to Ken's point. Again, I am not criticising > Eiffel. I am objecting to the implication of the Meyers/Jezequel paper, > made explicit in Meyers' further remarks in this thread, that the use of a > language with "built-in support for assertions in the spirit of Design by > Contract" would have prevented the Arianne-5 crash. Yes and no. One of my points is language-independent, as you state, and is never addressed by either of the paper's authors (although one did conditionally accept part of my argument). The other point, however, is that it is not practical to separate Design by Contract as a language-independent methodology from the specifics of the Eiffel implementation, as it is presented in the paper. Thus, assertions that Design by Contract is meaningful in other languages cannot be supported. Mr. Meyer (without meaning to do so, I'm sure) emphasizes this point in his response. It may be possible to describe Design by Contract in such a way that it is not tied specifically to Eiffel, but then I suspect the case for it solving the Ariane 5 disaster is further weakened. > > Anders. > > b-t-w, I feel badly about the "one and only true kibo" hate mail. > > -- > Anders Pytte Milkweed Software > RR 1, Box 227 Voice: (802) 472-5142 > Cabot VT 05647 Internet: milkweed@plainfield.bypass.com -- LMTAS - The Fighter Enterprise - "Our Brand Means Quality" For job listings, other info: http://www.lmtas.com or http://www.lmco.com