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: aek@vib.usr.pu.ru Subject: Re: Critique of Ariane 5 paper (finally!) Date: 1997/08/21 Message-ID: <872172435.980@dejanews.com>#1/1 X-Deja-AN: 265708772 X-Http-User-Agent: Mozilla/2.01 (Win16; I) X-Originating-IP-Addr: 193.124.93.111 (cache.infopro.spb.su) Organization: Deja News Posting Service X-Authenticated-Sender: aek@vib.usr.pu.ru X-Article-Creation-Date: Thu Aug 21 14:07:17 1997 GMT Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-21T00:00:00+00:00 List-Id: In dewar@merv.cs.nyu.edu (Robert Dewar) wrote: >In this particular case, the very reasonable point that DBC may be a useful >tool in helping to achieve reliability in some circumstances ^^^^^^^^^^^^^^^^^^^^^ This is the point. When one claims that some new method or tool may be useful in some circumstances he seems to be obliged to describe those circumstances more or less precisely. But if one claims that this new method or tool is very useful universally then he frees himself from this trouble and invites other people to do this job. Alexander Kopilovitch aek@vib.usr.pu.ru Saint-Petersburg Russia  -------------------==== Posted via Deja News ====----------------------- http://www.dejanews.com/ Search, Read, Post to Usenet