Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!samsung!emory!mephisto!mcnc!duke!romeo!crm
From: crm@romeo.cs.duke.edu (Charlie Martin)
Newsgroups: comp.software-eng
Subject: Re: "Program Proving"
Message-ID: <18319@duke.cs.duke.edu>
Date: 19 Mar 90 23:37:18 GMT
References: <12326@goofy.megatest.UUCP> <18261@duke.cs.duke.edu> <19989@joshua.athertn.Atherton.COM>
Sender: news@duke.cs.duke.edu
Reply-To: crm@romeo.UUCP (Charlie Martin)
Organization: Duke University CS Dept.; Durham, NC
Lines: 15

The best references I can give you off the top of my head re the
Software Cleanroon papers; there is an excellent overview that wil
appeared (or has appeared, all I have is the preprint), title "Cleanroom
Software Engineering", author Harlan Mills, in _Aerospace
Software Engineering_, Anderson, Dorfman and Hall, eds., AIAA 1990.
Some of the experimental results are in "Certifying the Reliability of
Software,"  IEEE TSE SE-12, No 1, Jan 1986, pp 3--11.  Also see
"Cleanroom software development: an empirical evaluation," IEEE TSE vol
SE-13, No 9, Sept 1987, I don't have the pages.

Of course, even better will be the experiment I'm going to perform when
I have the time and funding.


Charlie Martin (crm@cs.duke.edu,mcnc!duke!crm)