From: jsa@alexandria.organon.com (Jon S Anthony)
Subject: Re: Use of DBC as "executable SRS": scaling problems
Date: 1997/08/12
Date: 1997-08-12T00:00:00+00:00 [thread overview]
Message-ID: <JSA.97Aug12132442@alexandria.organon.com> (raw)
In-Reply-To: 33EFD297.3663@flash.net
In article <33EFD297.3663@flash.net> Ken Garlington <kennieg@flash.net> writes:
> An assertion at the top of a hierarchy is not necessarily what I had
> in mind as "high-level." Compare and contrast:
>
> 1. Horizontal_Bias <= Maximum_Bias (low level)
>
> 2. The system shall operate in the flight envelope shown in Figure 1.
> (high level, difficult to write as a simple line of code, but
> the real issue at the system level).
^^^^^^^^^^^^^^
Bingo. That's kinda sorta it in a nutshell. Except that it is not
just "difficult", it is basically _impossible_. Why it is that some
of the "fanatics" here, can't seem to understand this is pretty much
incomprehensible (and given the particular context, outright scary).
/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-12 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-07-29 0:00 Use of DBC as "executable SRS": scaling problems card
1997-07-30 0:00 ` Nick Leaton
1997-07-31 0:00 ` Ken Garlington
1997-08-11 0:00 ` Nick Leaton
1997-08-11 0:00 ` Ken Garlington
1997-08-12 0:00 ` Jon S Anthony [this message]
1997-08-12 0:00 ` Nick Leaton
1997-08-12 0:00 ` Ken Garlington
1997-07-31 0:00 ` W. Wesley Groleau x4923
1997-07-31 0:00 ` Al Christians
1997-07-31 0:00 ` Don Harrison
-- strict thread matches above, loose matches on Subject: below --
1997-07-31 0:00 card
1997-07-31 0:00 ` Nick Leaton
1997-08-01 0:00 ` Don Harrison
1997-08-13 0:00 ` Lee Webber
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox