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: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: boyd@interdim.com (Eric M. Boyd) Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/19 Message-ID: <5gp49g$p7p$1@news.kersur.net>#1/1 X-Deja-AN: 226751426 References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <5gjoel$jre$1@quasar.dimensional.com> <332EDBBE.4066@lmtas.lmco.com> Organization: InterDimensions Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-19T00:00:00+00:00 List-Id: Jon S Anthony wrote: > > And this is not the sort of thing that simple pre and post > conditions is going to help you with. It's disingenuous to say > otherwise. In fact, while this paper is fairly good in its analysis, > it is extremely poor in its conclusion. Here's the relevant bit: > > "Does this mean that the crash would automatically have been avoided > had the mission used a language and method supporting built-in > assertions and Design by Contract? Although it is always risky to > draw such after-the-fact conclusions, the answer is probably yes:" "There never has been, nor will there ever be a language in which it is the least bit difficult to write bad code." I'm quoting someone...but don't know who. The point is the language doesn't matter...anybody can write bad code in any language. --------------------------------+---------------------------------------------- Eric Boyd (TSMA) | "It's easier to ask for InterDimensions Corp. | forgiveness than for permission." 25 Ellery St. | Cambridge Ma, 02138 | "640K ought to be enough for anybody." 617-661-4200 | -- Bill Gates, 1981 | boyd@interdim.com |