From: jsa@alexandria.organon.com (Jon S Anthony)
Subject: Re: Rebuttal to Ariane paper
Date: 1997/08/25
Date: 1997-08-25T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Aug25181357@alexandria.organon.com> (raw)
In-Reply-To: 34018ec9.3850572@wizard.pn.com
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
next prev parent reply other threads:[~1997-08-25 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <199708180814.KAA28247@rising.irisa.fr>
1997-08-19 0:00 ` Rebuttal to Ariane paper Ken Garlington
1997-08-22 0:00 ` Jean-Marc Jezequel
[not found] ` <33FFA706.1310@flash.net>
[not found] ` <34018ec9.3850572@wizard.pn.com>
1997-08-25 0:00 ` Jon S Anthony [this message]
1997-08-26 0:00 ` Don Harrison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox