comp.lang.ada
 help / color / mirror / Atom feed
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






  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