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,5528f4f0452fdf6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,5528f4f0452fdf6 X-Google-Attributes: gid103376,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Rebuttal to Ariane paper Date: 1997/08/25 Message-ID: #1/1 X-Deja-AN: 268491086 Distribution: world References: <199708180814.KAA28247@rising.irisa.fr> <33FA70EE.20DF@flash.net> <5tjh29$8oj$1@news.irisa.fr> <33FFA706.1310@flash.net> <34018ec9.3850572@wizard.pn.com> Organization: PSINet Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-25T00:00:00+00:00 List-Id: In article <34018ec9.3850572@wizard.pn.com> leew@micrologic.com (Lee Webber) writes: > always work well with time-critical code, and some external entities > don't model well as well-behaved objects. The first of these > observations might make DBC somewhat less useful in HRT apps than > elsewhere -- but certainly not useless. The second observation, IMO, > hits at all specification and testing methodologies, not just DBC. WRT the latter: it is worth noting that this holds for "purely" software entities as well. /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