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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,8f7e92843da1c5d2 X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,8f7e92843da1c5d2 X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,8f7e92843da1c5d2 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,8f7e92843da1c5d2 X-Google-Attributes: gid103376,public From: Samuel Mize Subject: Re: Design by Contract: A Simple Story .. Date: 1997/07/22 Message-ID: <33D514E9.4E70@link.com>#1/1 X-Deja-AN: 258171660 References: <869585285.12801@dejanews.com> Followup-To: comp.object,comp.software-eng,comp.lang.eiffel Organization: Hughes Training Inc. Reply-To: smize@link.com Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-07-22T00:00:00+00:00 List-Id: I don't consider Geoff's post too far off-topic for comp.lang.ada, as it's pointing people to look at a technology that's related to ongoing discussions there. However, I would ask that follow-ups that are general discussion about Eiffel pare off comp.lang.ada (like in my follow-up line). The reason comp.lang.ada is thrashing over the Ariane paper is its claim (perhaps implied, perhaps unjustly inferred) that Ada with normal design methods was inadequate to prevent the Ariane 5 loss. Most of us are not arguing that Eiffel or DBC are useless, just that this limited conclusion is flawed and unfair. (Normal design methods were circumvented in that project.) Geoff, I'm glad you've found something so useful for your work, and I do consider it an interesting technology. Samuel Mize