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,c59f452174bd555 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,c59f452174bd555 X-Google-Attributes: gid103376,public From: jsa@alexandria.organon.com (Jon S Anthony) Subject: Re: Use of DBC as "executable SRS": scaling problems Date: 1997/08/12 Message-ID: #1/1 X-Deja-AN: 263747212 Distribution: world References: <870209420.19031@dejanews.com> <33DF0010.3545@calfp.co.uk> <33E0A26B.1630@flash.net> <33EF20DF.5390@calfp.co.uk> <33EFD297.3663@flash.net> Organization: PSINet Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-12T00:00:00+00:00 List-Id: In article <33EFD297.3663@flash.net> Ken Garlington 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