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.2 required=5.0 tests=BAYES_00,FROM_WORDY,
	INVALID_MSGID 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: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: Interresting thread in comp.lang.eiffel
Date: 2000/07/12
Message-ID: <pv7b5.13180$7%3.915646@news.flash.net>#1/1
X-Deja-AN: 645694587
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>
 <8jhq0m$30u5$1@toralf.uib.no> <8jt4j7$19hpk$1@ID-9852.news.cis.dfn.de>
 <3963CDDE.3E8FB644@earthlink.net> <3963DEBF.79C40BF1@eiffel.com>
 <396502D2.BD8A42E7@earthlink.net> <RSsa5.11075$7%3.784507@news.flash.net>
 <6aHa5.113$6E.23141@ptah.visi.com> <396B4A68.458FA3BC@maths.unine.ch>
 <u6hp4i16$GA.283@cpmsnbbsa07> <VVMa5.12642$7%3.843780@news.flash.net>
 <uRY09RB7$GA.307@cpmsnbbsa07>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
X-Complaints-To: abuse@flash.net
X-Trace: news.flash.net 963445845 216.215.75.222 (Wed,
 12 Jul 2000 18:50:45 CDT)
Organization: FlashNet Communications, http://www.flash.net
X-MSMail-Priority: Normal
NNTP-Posting-Date: Wed, 12 Jul 2000 18:50:45 CDT
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>

"Bob Allen" <ballen3@email.msn.com> wrote in message
news:uRY09RB7$GA.307@cpmsnbbsa07...

> This is my point exactly, without writting down the contracts, no one
knows
> what to expect.
> If you are going to write it down, why not write it in the class source
> rather than in a seperate
> text that is most likely going to be forgotten and never updated.

Because of

(a) the backgrounds of the people typically involved in defining system
requirements,
(b) the procurement process (see earlier post), and in particular the timing
of procurement events,
(c) the limits of expressibility via structured text,
(d) the additional complexity of the generated code (assuming the contracts
are generated as executable constructs).