From: leew@micrologic.com (Lee Webber)
Subject: Re: Use of DBC as "executable SRS": scaling problems
Date: 1997/08/13
Date: 1997-08-13T00:00:00+00:00 [thread overview]
Message-ID: <33f1d19d.8551657@wizard.pn.com> (raw)
In-Reply-To: 870354811.9948@dejanews.com
On Thu, 31 Jul 1997 08:41:32 -0600, card@syr.lmco.com wrote:
>In my initial post, I said that I thought it would be unwise
>to try to "code" the software requirements specification for a
>complex software component as a set of assertions (boolean
>expressions) due to problems of scale.... When that
>requirement is changed, the impact of the change could be
>significant since "dual maintenance" is required- that is, the
>assertions must be checked and changed as necessary as well as
>the method bodies.
Note that the same criticism could be levelled at
double-entry bookeeping.
next prev parent reply other threads:[~1997-08-13 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-07-31 0:00 Use of DBC as "executable SRS": scaling problems card
1997-07-31 0:00 ` Nick Leaton
1997-08-01 0:00 ` Don Harrison
1997-08-13 0:00 ` Lee Webber [this message]
-- strict thread matches above, loose matches on Subject: below --
1997-07-29 0:00 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
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox