[#1816] Ruby 1.5.3 under Tru64 (Alpha)? — Clemens Hintze <clemens.hintze@...>

Hi all,

17 messages 2000/03/14

[#1989] English Ruby/Gtk Tutorial? — schneik@...

18 messages 2000/03/17

[#2241] setter() for local variables — ts <decoux@...>

18 messages 2000/03/29

[ruby-talk:02313] Re: DBC

From: schneik@...
Date: 2000-03-31 20:29:55 UTC
List: ruby-talk #2313

Hi,

Dave Thomas writes:
> matz@netlab.co.jp (Yukihiro Matsumoto) writes:
>
> > By the way, what DBC stand for?
>
> Design By Contract. Bertrand Meyer (of Eiffel fame) coined it to
> describe the concept of defining a class using
>
> - a class invariant
> - method pre and post conditions

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.

(I think he is presently on the faculty at UT/Austin.)

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


In This Thread

Prev Next