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: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,2c6139ce13be9980 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,2c6139ce13be9980 X-Google-Attributes: gid1108a1,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Interface/Implementation (was Re: Design by Contract) Date: 1997/08/28 Message-ID: #1/1 X-Deja-AN: 268822300 Distribution: world References: <34046FAD.52BFA1D7@eiffel.com> <34059557.37C0@pseserv3.fw.hac.com> Organization: PSINet Newsgroups: comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel Date: 1997-08-28T00:00:00+00:00 List-Id: In article <34059557.37C0@pseserv3.fw.hac.com> "W. Wesley Groleau x4923" writes: > Tucker Taft wrote: > > In my experience, separating the spec and body physically is > > extremely advantageous, and the need to have redundancy between > > the spec and body is an important feature in a multi-person > > project, not an "inconvenience." > > The redundancy itself is not needed. A language _like_ C or Ada > could be defined where the compiler uses the spec/prototype > of a function _from_ the other file in compiling the body of the > function. But it would certainly be a productivity hit if the coder > had to do extra work to _see_ the interface while coding the > implementation. Another thing to note here; as (since) people are bandying about automated tool support for extracting spec or whatever, they need to realize the dual of this is also readily available: automated support for generating the operation signatures and stubs for the body from the spec. IMO, the spec. is much more important for design than the body and so having automated support spec.->implementation is much more appropriate than having automated support implementation->spec. /Jon -- Jon Anthony OMI, Belmont, MA 02178, 617.484.3383 "Nightmares - Ha! The way my life's been going lately, Who'd notice?" -- Londo Mollari