From: Xyvind Teig (Oyvind.Teig_at_email.domain.hidden)
Date: 1998-09-14 11:10:48
X-Hops: 1
Dear all
14Sep98
After discussing this, I read an article on Eiffel:
http://www.eiffel.com/doc/manuals/technology/contract/
"Building bug-free O-O software:
An introduction to Design by Contract"
This states that:
Under the Design by Contract theory, a software system is viewed as
a set of communicating components whose interaction is based on
precisely defined specifications of the mutual obligations --
contracts.
And
Concurrency and distribution: the principles of Design by Contract
yield a fascinating solution, described elsewhere in these Web pages,
to the problem of concurrent and distribution object-oriented
programming (avoiding the so-called "inheritance anomaly" and other
non-issues of O-O concurrent computation, resulting from a
misunderstanding of object technology). An article [4] describes in
detail the Eiffel approach to concurrent computation, based on the
Design by Contract concepts and currently being implemented for ISE
Eiffel 4.2. (See the new edition of [1] for the most up-to-date
description.)
What do you say about this? Does it make OO "better"?
Also, this language seems to be built much on assertions. Is
this something for (an new) occam?
Cheers,
Oyvind Teig, Autronica, Trondheim, Norway
Oyvind.Teig_at_autronica.no
Tel.: +47 73 58 12 68
Fax.: +47 73 91 93 20
This archive was generated by hypermail 2.1.7 on 2004-10-31 20:03:56 GMT
© Copyright WoTUG
All rights reserved