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: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public From: the one and only real true kibo Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/23 Message-ID: <5h2i47$8o9@stronghold.dhp.com>#1/1 X-Deja-AN: 227655466 References: <332B5495.167EB0E7@eiffel.com> 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 Date: 1997-03-23T00:00:00+00:00 List-Id: -----BEGIN PGP SIGNED MESSAGE----- On Sat, 15 Mar 1997 18:01:57 -0800 in article <332B5495.167EB0E7@eiffel.com> posted to comp.lang.eiffel, Bertrand Meyer wrote: > We have made available on-line the paper that Jean-Marc Jezequel > and I published in the January issue of IEEE Computer about the > June 1996, software-induced $500-million crash of the Ariane 5 > mission, and the lessons it holds for software development > -- in particular the role of contracts for reusable software. > The paper can be found by following the "Ariane 5" link at > http://www.eiffel.com > We have used this opportunity to update the technology > paper that summarizes the theory of Design by Contract > (http://www.eiffel.com/doc/manuals/technology/contract/index.html). Executive summary: anyone who uses Eiffel should and will be summarily fired. > -- > Bertrand Meyer, President, ISE Inc., Santa Barbara (California) > 805-685-1006, fax 805-685-6869, - > ftp://ftp.eiffel.com > Visit our Web page: http://www.eiffel.com > (including instructions to download Eiffel 4 for Windows) 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 iQCVAwUBMzTLw6lPvImbzLKZAQH2HAQAgwZSsgnPTGBpoadbX5T7/4zwJtPMwQhn LqsdhLI0fAreJ8qrpSUXvePgPPeGxlgG8XoFgAnqbyPfSvOPT2jI/55q3wShfHzt Cztq/WvQ1EKzoMFnsBOV/ONTgFvllaqp7y9Oe9xc75o4HzR6NwbgoLtspnICkoY6 Va3TJCgmBug= =23dJ -----END PGP SIGNATURE-----