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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,5add429c86f59001 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!wns14feed!worldnet.att.net!attbi_s22.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada vs Eiffel - Ada programmer approach References: <405b5054-4c8f-4e16-9ea8-503a9b9f976e@t21g2000yqi.googlegroups.com> <4A19765C.608@obry.net> <8105b65f-4de9-4653-b43a-d55ee33f072d@k2g2000yql.googlegroups.com> <4vCdnRo6At8-mIHXnZ2dnUVZ8n2dnZ2d@brightview.co.uk> <99dcd233-4977-4b67-b263-94149909fb95@h2g2000yqg.googlegroups.com> In-Reply-To: <99dcd233-4977-4b67-b263-94149909fb95@h2g2000yqg.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 173.16.158.68 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s22 1245172959 173.16.158.68 (Tue, 16 Jun 2009 17:22:39 GMT) NNTP-Posting-Date: Tue, 16 Jun 2009 17:22:39 GMT Organization: AT&T ASP.att.net Date: Tue, 16 Jun 2009 17:22:39 GMT Xref: g2news2.google.com comp.lang.ada:6492 Date: 2009-06-16T17:22:39+00:00 List-Id: ardjussi wrote: > > Is it a common expression? Was the word "contract" alone in use in > program design or programming before DbC was coined? For me the single > word was totally new for any meaning in computer programming at > something 1990. The phrase "design by contract" may have occasionally > appeared in sales of construction or even program design services, but > not as a technical term. The term "contract model" to describe Ada package specifications has been around for quite a while. I think I first heard a package specification described as a contract in 1984. -- Jeff Carter "You tiny-brained wipers of other people's bottoms!" Monty Python & the Holy Grail 18