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,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
From: Ken Garlington <kennieg@flash.net>
Subject: Re: Design by Contract
Date: 1997/09/02
Message-ID: <340CA97A.427C@flash.net>#1/1
X-Deja-AN: 269629464
References: <33E9ADE9.4709@flash.net> <EEsF5y.F5H@syd.csa.com.au>
 <34023BC4.2781E494@eiffel.com> <3402d123.0@news.uni-ulm.de>
 <3402DA6A.C4444E46@calfp.co.uk> <3402e51d.0@news.uni-ulm.de>
 <3402E8C9.3384D976@calfp.co.uk> <dewar.872631036@merv>
 <34050F3C.5A3A@invest.amp.com.au> <dewar.872791797@merv>
 <5u61qa$e23$6@miranda.gmrc.gecm.com>
 <slrn60himi.su2.kennel@lyapunov.ucsd.edu>
 <5udnt4$fpb$1@usenet76.supernews.com>
Organization: Flashnet Communications, http://www.flash.net
Reply-To: Ken.Garlington@computer.org
Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1997-09-02T00:00:00+00:00
List-Id: <comp.lang.ada>



John F. Bell III wrote:
> 
> It seems to me that if you want to keep someone from changing the interface to
> a class, or anything else for that matter, you stand in front of the
> development staff and say in a clear voice "Don't change the interface.".
> 
> If that doesn't work you might try "Don't change the interface or I'll fire
> you.".
> 
> Jeez, doesn't anyone work with folks that follow directions anymore?

Put that with the direction, "Oh, and don't make any typos, either." If
the engineer has direct access to the file containing the spec, (s)he
might inadvertantly change the spec while attempting to change the body.
There is also the issue of verification. If a file is modified, it
requires
extra effort to determine the exact nature of the modification.

> 
> John
> jfb3@pdq.net