Path: text.usenetserver.com!out04a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!postnews.google.com!news2.google.com!news.glorb.com!news.unit0.net!newsfeed.freenet.de!bolzen.all.de!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: How is Behavior Specified Newsgroups: comp.databases.theory,comp.object User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <_ZoJj.3574$at6.3220@trndny01> Date: Fri, 4 Apr 2008 16:07:06 +0200 Message-ID: <1uqgst1i2p6i2.1xqa73ps1y1sd$.dlg@40tude.net> Lines: 23 NNTP-Posting-Date: 04 Apr 2008 16:07:06 CEST NNTP-Posting-Host: 583b45cc.newsspool4.arcor-online.net X-Trace: DXC=m@eVEfV3B[SFm0Y?OE@2^X4IUKRUDH0aM^2R8[[6LHn;2LCV^7enW;^6ZC`TIXm65S@:3>_V0[[lNTndiX X-Complaints-To: usenet-abuse@arcor.de Xref: usenetserver.com comp.databases.theory:171199 comp.object:265563 X-Received-Date: Fri, 04 Apr 2008 09:07:19 EST (text.usenetserver.com) 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... > http://www.developerdotstar.com/mag/articles/reeves_design_main.html Huh, if somebody didn't want to design, why then would he call the result of his activity a design? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de