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, T_FILL_THIS_FORM_SHORT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public From: "Adrian B.Y. Hoe" Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/04/03 Message-ID: <33436295.quantum@quantum.pc.my>#1/1 X-Deja-AN: 230410871 Sender: Ada programming language Organization: Lexical Integration (M) Sdn Bhd Comments: Gated by NETNEWS@AUVM.AMERICAN.EDU Newsgroups: comp.lang.ada Date: 1997-04-03T00:00:00+00:00 List-Id: > ------------------------------ > > Date: Sat, 29 Mar 1997 17:04:50 GMT > From: the one and only real true kibo > Subject: Re: Papers on the Ariane-5 crash and Design by Contract > > -----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. Alright, this is too much. Where is this uneducated arrogant moron coming from??? GET OUT!!! > > -----BEGIN PGP SIGNATURE----- > Version: 2.6.2 > > iQCVAwUBMz1LsqlPvImbzLKZAQFJgwQAkl4Rwjj558h1Rlw/ZtnvEgYudMFlNuLU > +SqyrMF/9mg5LdsAzEdH9kMqhmFdY89QZj4BY1bxsg3NtIipq94NZ73Z0x7uSZb9 > gajFwUyK2BZC5+/iW9j54isZWL4jc45D5vlf8j2oxxzyKyLreo2fJdo7yAYOrBat > q+AhPlVx5sM= > =XOtl > -----END PGP SIGNATURE----- > > ------------------------------ > > Date: Sat, 29 Mar 1997 17:06:17 GMT > From: the one and only real true kibo > Subject: Re: Papers on the Ariane-5 crash and Design by Contract > > -----BEGIN PGP SIGNED MESSAGE----- > > On 26 Mar 1997 17:13:20 -0500 in article posted to > comp.lang.eiffel, Robert Dewar wrote: > > < > appliying programming-by-contract tecniques for the 15 years i've been > > programming professionally - imperfectly, ofcourse. I've gathered and > > developed tools and techniques slowly along the way, and am still > > learning.>> > > > Sure, but virtually everyone has been instincitively applying at least > > some of the basic idea of programming-by-contract for ever and ever amen. > > The basic idea here is nothing new, and indeed is obvious. > > > What is significant about programming by contract is *precisely* the > > activity of formalizing it and embodying it into fixed syntax (even that > > idea is by no means new, Eiffel did not invent this idea, and I am sure > > that Bertrand Meyer would not claim otherwise -- what Eiffel did was to > > make it a centerpiece of the design, and that is indeed interesting!) > > Who cares what Bertrand Meyer claims - he's a well-known liar and > a crook. Anything Bertrand Meyer claims has got to be a fucking lie. > > 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 > > iQCVAwUBMz1MCalPvImbzLKZAQGWfgP9FOd+wiUm2JNpLobEBvbkne1BpDpeyc83 > +L8DcCyUHSYO2inB3vFtOOkK8rDL1CqRsrCQZnR8yIdDXd+Em4SkGRQyreyooW2R > zIzB9X6n34gGfhZI0JyABcwuu1T34q3UtrDFDZwZz0+oQMmBUOC2tM5xLXcyEDn3 > 8Jhx7Lp5YAs= > =E+R3 > -----END PGP SIGNATURE----- -- B.Y. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Adrian, B.Y. Hoe VP, Business Development Email : byHoe@quantum.pc.my \/ Lexical Integration (M) Sdn Bhd \/ \/ 13-B Jln Pandan Indah 4/2 \/ \/ \/ Pandan Indah \/ \/ 55100 Kuala Lumpur \/ Malaysia Tel : +60 3 495 4048 Fax : +60 3 495 4037 Email : system@quantum.pc.my >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> member of Team-Ada in Malaysia