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: 114bcd,e875542289af31e7,start X-Google-Attributes: gid114bcd,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: fbf1a,e875542289af31e7,start X-Google-Attributes: gidfbf1a,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public From: the one and only real true kibo Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/29 Message-ID: <5hji3i$2hq@stronghold.dhp.com>#1/1 X-Deja-AN: 229278604 References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <332DA14C.41C67EA6@eiffel.com> <332ef323.948774@news.demon.co.uk> <332F6411.4261@arlington.net> Organization: DataHaven Project +1 412 421 4516 (DHP.COM) Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech,alt.religion.kibology,alt.flame,alt.cascade Date: 1997-03-29T00:00:00+00:00 List-Id: -----BEGIN PGP SIGNED MESSAGE----- On 27 Mar 1997 00:06:39 -0500 in article posted to comp.lang.eiffel, Robert Dewar wrote: > Ray said > < was pointed out several months ago by a post in this newsgroup that this > was a wonderful example of a failure WAY early in the lifecycle. It had > nothing to do with design or construction and everything to do with a > bogus specification. They were in effect designing a control system for > a completely different rocket than the one in which the system was used!>> > Indeed, and in such a case, tightening up the methodology for encoding the > specification is not likely to be helpful. It can even be harmful if it > results in diverting effort into a non-useful area! Fuckhead. I am the only true Kibo. Finger me for my PGP public key. Check out my home page for the coolest way to vote on new newsgroup proposals or to issue Usenet cancels. -----BEGIN PGP SIGNATURE----- Version: 2.6.2 iQCVAwUBMz1LsqlPvImbzLKZAQFJgwQAkl4Rwjj558h1Rlw/ZtnvEgYudMFlNuLU +SqyrMF/9mg5LdsAzEdH9kMqhmFdY89QZj4BY1bxsg3NtIipq94NZ73Z0x7uSZb9 gajFwUyK2BZC5+/iW9j54isZWL4jc45D5vlf8j2oxxzyKyLreo2fJdo7yAYOrBat q+AhPlVx5sM= =XOtl -----END PGP SIGNATURE-----