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: 103376,fb1663c3ca80b502 X-Google-Attributes: gid103376,public X-Google-Thread: fac41,e01bd86884246855 X-Google-Attributes: gidfac41,public From: "Marin D. Condic" Subject: Re: Interresting thread in comp.lang.eiffel Date: 2000/07/13 Message-ID: <396E29D8.14EC865B@acm.com>#1/1 X-Deja-AN: 646055059 Content-Transfer-Encoding: 7bit References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com> <395886DA.CCE008D2@deepthought.com.au> <3958B07B.18A5BB8C@acm.com> <395A0ECA.940560D1@acm.com> <8jd4bb$na7$1@toralf.uib.no> <8jfabb$1d8$1@nnrp1.deja.com> <8jt4i0$18ec7$1@ID-9852.news.cis.dfn.de> <8k5a31$1p61t$1@ID-9852.news.cis.dfn.de> <3966D7B0.5D6475E4@earthlink.net> <39688CA2.31B2A7EF@acm.com> <8kl178$2n5kf$1@ID-9852.news.cis.dfn.de> Organization: Quadrus Corporation X-Sender: "Marin D. Condic" (Unverified) X-Server-Date: 13 Jul 2000 20:43:13 GMT Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 2000-07-13T20:43:13+00:00 List-Id: Joachim Durchholz wrote: > My personal claim is at a different angle: I think that DbC would have > saved the day (just like any other method) but without requiring extra > effort (unlike any of the methods that have been proposed in the report, > which all require some extra effort). > I say "no extra effort" because DbC contracts replace a lot of > documentation. > Maybe some consensus is beginning to form? :-) I imagine that DbC is a perfectly fine methodology and probably can be very helpful in finding problems when considering the reuse of software. I have absolutely no grief with that. I just found the claim that DbC/Eiffel would have prevented Ariane 5 from happening to be an unsupportable claim. Or at least a claim that didn't amount to much. My understanding of the disaster was that it was caused basically by a management failure. They never bothered to look. Had they looked, they'd have found it. When you don't look, any software, documentation, methodology, etc. won't help. I feel sorry for the poor bastard who failed to make the decision to verify the system against the new flight profile, but it was fundamentally this decision - and not the fault of the software itself or any methodology surrounding it - that was to blame. MDC -- ====================================================================== Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/ Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m Visit my web site at: http://www.mcondic.com/ "Some people think programming Windows is like nailing jello to the ceiling... easy with the right kind of nails." -- Ivor Horton - Beginning Visual C++ 6 ======================================================================