From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,f66d11aeda114c52 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,f66d11aeda114c52 X-Google-Attributes: gid103376,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Critique of Ariane 5 paper (finally!) Date: 1997/08/15 Message-ID: #1/1 X-Deja-AN: 265002980 References: <33E503B3.3278@flash.net> <33E8FC54.41C67EA6@eiffel.com> <33E9B217.39DA@flash.net> <33EA5592.5855@flash.net> <33EB4935.167EB0E7@eiffel.com> <33EB754E.446B9B3D@eiffel.com> <33EBE46D.2149@flash.net> <33EF9487.41C67EA6@eiffel.com> <33F20BCE.AB3@link.com> <33F22AD8.41C67EA6@eiffel.com> <33F3C21D.ABD322C@eiffel.com> Distribution: world Organization: PSINet Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-15T00:00:00+00:00 List-Id: In article <33F3C21D.ABD322C@eiffel.com> Bertrand Meyer writes: > Jon S Anthony wrote: > > > There is nothing new about assertions or the notion behind > > [Design by Contract]. The basic ideas have been floated in > > various forms for a looonnggg time now. > > If this is what the discussion finally amounts to, it is hard It is simply a statement of fact. Do you have a problem with that? I was NOT making a value judgement - that seems to be your province. > just as inevitable is the well-known three-step sequence > of reactions that meets the introduction of a new > methodological principle: (1) "it's trivial"; (2) "it > cannot work"; (3) "that's how I did it all along anyway". This, of course, is completely irrelevant. > I guess we have reached the third step now. One would have to go through 1 and 2 first - for which you'd have to have a "what". But, generally speaking, I've claimed it is more difficult than you. Of course, to be fair, the "what" has been typically ill defined in this "debate" and so it is not clear what any of 1, 2, or 3 even refer to in this context. Typical. > More seriously, it is absolutely correct that Design by > Contract is based on ideas that have been around for a long Which is ALL I said. Where's your evidence that I said anything else?? It would be nice if you were to start following your own advice and stop blindly impugning the statements of others. Or do you feel that you are above such advice? /Jon -- Jon Anthony OMI, Belmont, MA 02178, 617.484.3383 "Nightmares - Ha! The way my life's been going lately, Who'd notice?" -- Londo Mollari