From: donh@syd.csa.com.au (Don Harrison)
Subject: Re: Use of DBC as "executable SRS": scaling problems
Date: 1997/08/01
Date: 1997-08-01T00:00:00+00:00 [thread overview]
Message-ID: <EE7uLM.2ou@syd.csa.com.au> (raw)
In-Reply-To: 870354811.9948@dejanews.com
Mike Card wrote:
:Finally, Don Harrison wrote:
:>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.
:
:Actually, "Ada people" usually use the term to refer to package
:specifications or procedure/function/task specifications.
That's a comfort to hear. :)
:Those of us in the defense industry use it for formal SRSes, though, since
:the US DoD usually requires a customer-approved SRS for any soft-
:ware purchased with DoD dollars.
Same deal here in Australia.
Don.
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Don Harrison donh@syd.csa.com.au
next prev parent reply other threads:[~1997-08-01 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 [this message]
1997-08-13 0:00 ` Lee Webber
-- 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 ` Nick Leaton
1997-08-12 0:00 ` Ken Garlington
1997-08-12 0:00 ` Jon S Anthony
1997-07-31 0:00 ` Don Harrison
1997-07-31 0:00 ` W. Wesley Groleau x4923
1997-07-31 0:00 ` Al Christians
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox