From: donh@syd.csa.com.au (Don Harrison)
Subject: Re: Use of DBC as "executable SRS": scaling problems
Date: 1997/07/31
Date: 1997-07-31T00:00:00+00:00 [thread overview]
Message-ID: <EE66Bp.M5L@syd.csa.com.au> (raw)
In-Reply-To: 870209420.19031@dejanews.com
Mike Card wrote:
:I do not think that using DBC as an "executable SRS" (SRS == Software
:Requirements Specification) would have ...
I wonder whether there has been some confusion here over the use of
"specification" in different contexts. Eiffel people use the term in talking
about assertions. Ada people tend to associate it with SRSes.
I'm not sure whether anyone advocated using DBC to replace SRSes. Probably,
OO-structured SRSes have some potential and shouldn't be limited by scale,
but replacing SRSes entirely by coded assertions may be going a little too far.
Don.
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Don Harrison donh@syd.csa.com.au
next prev parent reply other threads:[~1997-07-31 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 ` Nick Leaton
1997-08-12 0:00 ` Ken Garlington
1997-08-12 0:00 ` Jon S Anthony
1997-07-31 0:00 ` W. Wesley Groleau x4923
1997-07-31 0:00 ` Al Christians
1997-07-31 0:00 ` Don Harrison [this message]
-- 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