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: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
X-Google-Thread: fac41,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
From: nospam@somewhere.ia.us (Robert S. White)
Subject: Re: Interface/Implementation (was Re: Design by Contract)
Date: 1997/09/09
Message-ID: <5v2iqr$1cfu$1@flood.weeg.uiowa.edu>#1/1
X-Deja-AN: 270878569
References: <EFqDAG.2zn@ecf.toronto.edu> <EFv7yL.yr@syd.csa.com.au>
 <EFwuzD.BxE@ecf.toronto.edu> <340F20A0.49B5@ac3i.dseg.ti.com>
 <340F39E3.4B71@pseserv3.fw.hac.com> <dewar.873725590@merv>
Organization: designing/implementing avionics during the day
Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1997-09-09T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <dewar.873725590@merv>, dewar@merv.cs.nyu.edu says...

>Still it would be nice to have at least ONE concrete experience report
>that shows that the engineering details of this approach are practical.

  Sorry can't speak for an Eiffel example.  But IME   PCMS (LM F-22), 
DEC CMS and Rational CMVC do a nice job of controlling Ada spec's and
bodies.  But then as you point out the language itself does a good job
of seperating the interface from the implementation.  Note some of the 
compilers used with the CM software above allow the spec to be in the
same file as the body, but in practice we _never_ do that!  We do not
want to.
_____________________________________________________________________
Robert S. White         -- An embedded systems software engineer
e-mail reply to reverse of: ia us lib cedar-rapids crpl shift2 whiter