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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,616091a85ff150f1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-05 19:55:02 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!netnews.com!xfer02.netnews.com!newsfeed2.earthlink.net!newsfeed.earthlink.net!news.mindspring.net!not-for-mail
From: Richard Riehle <richard@adaworks.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada 200X Assertions
Date: Wed, 05 Dec 2001 19:55:17 -0800
Organization: AdaWorks Software Engineering
Message-ID: <3C0EEC25.E2738366@adaworks.com>
References: <3C0C48BE.3B20F04E@adaworks.com>
 <9uj730$shr$1@news.online-isp.com> <9ujf1c$hhr$1@news.huji.ac.il>
Reply-To: richard@adaworks.com
NNTP-Posting-Host: 9e.fc.cd.2a
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Server-Date: 6 Dec 2001 03:54:53 GMT
X-Mailer: Mozilla 4.7 [en] (Win98; I)
X-Accept-Language: en
Xref: archiver1.google.com comp.lang.ada:17495
Date: 2001-12-06T03:54:53+00:00
List-Id: <comp.lang.ada>

Ehud Lamm wrote:

> Randy Brukardt <randy@rrsoftware.com> wrote in message
> news:9uj730$shr$1@news.online-isp.com...
> > To consider it, we need a serious (detailed) proposal, and probably a
> > champion within the ARG. My guess is that someone would come forward to
> > support a proposal if it was made.
>
> I am doing some research on DbC and Ada, following some interesting recently
> published results.
> If anyone is interested in details, let me know.
>
> Ehud

I just received, and am half-way through the reading of, "Design By Contract By
Example,"
by Dr. Richard Mitchell and Dr. Jim McKim.   Good book from Addison-Wesley.
Mitchell
and McKim are both long-time practitioners of DBC and they present the material
in an
entertaining and coherent way.    Most of the examples are in Eiffel since there
are few
alternative languages with direct support for DBC.   That being said, I think
Ada
practitioners can benefit from many of the ideas in the book.   I am enjoying
it.

Professor Dewar is correct when he says that it is easier to propose and problem
for
someone else to solve than to present an actual solution.   It sounds as if Dr.
Lamm is
taking on the job of seeking solutions for DBC within Ada.   Kudos to him.
Also,
I appreciate the quick feedback from Randy.    It is important to realize that
the idea
is on the table but still needs a lot of work, along with a champion.

Richard Riehle