[ruby-talk:02327] Re: DBC

From: "Conrad Schneiker" <schneiker@...>
Date: 2000-04-01 09:31:14 UTC
List: ruby-talk #2327
From: Geoff Eldridge <geldridg@progsoc.uts.edu.au>

> On Fri, 31 Mar 2000 schneik@us.ibm.com wrote:
>
> [.. Design by Contract (DbC) stuff ..]
>
> > Is this a (greatly amplified) derivative of what Edsger Wybe Dijkstra
> > (sic: natural pun) was promoting ages ago in his 1976 book, "A
> > Discipline of Programming"? IIRC, it dealt with pre/post-conditions
> > and invariants, albeit not in an OO context.
>
>    Eiffel's Design by Contract: Predecessors and Original Contributions
>    by Bertrand Meyer
>
>       http://www.elj.com/eiffel/bm/dbc/
>
> > (I think he is presently on the faculty at UT/Austin.)
>
>    http://www.cs.utexas.edu/users/UTCS/report/1997/dijkstra.html

Their more recent reports are in PDF, so they apparently don't get indexed
by search engines.

> Meilir Page-Jones interviewed Professor Sidney Dijkstra a while back:
>
>    http://www.waysys.com/ws_content_al_isd.html

Pretty good way to start April.

Conrad

In This Thread

Prev Next