From: Geoff Eldridge <geldridg@...>
Date: 2000-04-01T10:30:10+10:00
Subject: [ruby-talk:02324] Re: DBC

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

Meilir Page-Jones interviewed Professor Sidney Dijkstra a while back:

   http://www.waysys.com/ws_content_al_isd.html

> Conrad Schneiker
> (This note is unofficial and subject to improvement without notice.)

Geoff Eldridge

-- geoff@elj.com
-- http://www.elj.com/elj-daily.cgi