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,FROM_ADDR_WS,
	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,e01bd86884246855
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,fb1663c3ca80b502
X-Google-Attributes: gid103376,public
From: "Joachim Durchholz" <joachim dot durchholz@halstenbach.com>
Subject: Re: Interresting thread in comp.lang.eiffel
Date: 2000/07/13
Message-ID: <8kl178$2n5kf$1@ID-9852.news.cis.dfn.de>#1/1
X-Deja-AN: 646001470
References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com>
 <slrn8leffq.ebq.gisle@spurv.ii.uib.no> <395886DA.CCE008D2@deepthought.com.au>
 <3958B07B.18A5BB8C@acm.com> <y1d65.620$7%3.33446@news.flash.net>
 <395A0ECA.940560D1@acm.com> <8jd4bb$na7$1@toralf.uib.no>
 <8jfabb$1d8$1@nnrp1.deja.com> <SVH65.1596$7%3.129344@news.flash.net>
 <8jt4i0$18ec7$1@ID-9852.news.cis.dfn.de>
 <nSt85.5388$7%3.424540@news.flash.net>
 <8k5a31$1p61t$1@ID-9852.news.cis.dfn.de>
 <qlt95.7824$7%3.596314@news.flash.net> <3966D7B0.5D6475E4@earthlink.net>
 <39688CA2.31B2A7EF@acm.com>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
X-Trace: fu-berlin.de 963512360 2856591 195.190.10.210 (16 [9852])
X-MSMail-Priority: Normal
Reply-To: "Joachim Durchholz" <joachim.durchholz@halstenbach.com>
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-13T00:00:00+00:00
List-Id: <comp.lang.ada>

Marin D. Condic <mcondic-nospam@acm.com> wrote:
>
> It doesn't
> seem to me to be very useful to use Ariane 5 to hawk DbC/Eiffel when
> virtually any other methodology or technology could make the exact
> same claim.

I fully agree, and I don't agree with the Meyer/Jezequel article at all.

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.

Regards,
Joachim
--
This is not an official statement from my employer or from NICE.
Reply-to address changed to discourage unsolicited advertisements.