Re: How is Behavior Specified

From: Dmitry A. Kazakov <>
Date: Fri, 4 Apr 2008 16:07:06 +0200
Message-ID: <1uqgst1i2p6i2.1xqa73ps1y1sd$>

On 4 Apr 2008 13:24:56 GMT, Stefan Ram wrote:

> "Dmitry A. Kazakov" <> writes:

>>Code as a specification? That does not look much OO, I would say.

> Fine. Then, how does one specify the behavior of an object,
> if not by code?

Which code is meant here?

One necessary property of specification is verifiability of an implementation against it. When implementation becomes a specification of itself, then bags go to Milan...


Huh, if somebody didn't want to design, why then would he call the result of his activity a design?

Dmitry A. Kazakov
Received on Fri Apr 04 2008 - 16:07:06 CEST

Original text of this message