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: the one and only real true kibo Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/27 Message-ID: <5hd31e$ci5@stronghold.dhp.com>#1/1 X-Deja-AN: 228699601 References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <5gm8a6$2qu$2@news.irisa.fr> Organization: DataHaven Project +1 412 421 4516 (DHP.COM) Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada Date: 1997-03-27T00:00:00+00:00 List-Id: -----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!) Bertrand Meyer is a crook, and so is Dewar. 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 iQCVAwUBMzoPaalPvImbzLKZAQFQmwP/Q98hKcuvGhuk20mlaQPEJHSHR8xaanAQ JUT0mw2b5PA7e5EqunSJYmYDuzikJt9apx2WGSlTNFFgxIvtfEWMTeRsQI+7lRzX wy4S1K3II6tZjcKnhcd+N6azct8b75hrpHkZzvYknIQbslmSlu+ZtqjalntM83QV E3EU/wsjAhs= =Mj/u -----END PGP SIGNATURE-----