[comp.software-eng] Cleanroom Software Development: Re

marick@m.cs.uiuc.edu (03/22/90)

Cleanroom Software Engineering
Harlan D. Mills, Michael Dyer, and Richard Linger
IEEE Software, September, 1987

Certifying the Reliability of Software. P. Allen Currit, Michael
Dyer, and Harlan D. Mills.  Transactions on Software Engineering.
V. SE-12, No 1, January 1986.

Cleanroom Software Development, An Empirical Evaluation.  Richard W.
Selby, Victor R. Basili, and F. Terry Baker.  Transactions on Software
Engineering, V. SE-13, No. 9, September 1987.

R. C. Linger and H. D. Mills. "A Case Study in Cleanroom Software
Engineering: The IBM COBOL Structuring Facility."  Proceedings
of COMPSAC '88, IEEE Computer Society Press, 1988.


> At the moment, I have no other recommendations of available papers.  However,
> NASA's Software Engineering Lab at Goddard Space Flight Center has been doing
> actual production environment trials of Cleanroom.  There were some reports on
> what has been happening at the SEL's November conference and they should be re-
> ported when the Proceedings for this appear.
> 
> As soon as I hear about the availability of the Proceedings, I'll try to let
> folks know.  If anyone else hears, please let me know.  While I have notes on
> the talk, the papers will probably be of more interest to people as they will
> provide more of the detail, e.g., facts, figures.
> 
> Thusfar, it sounds like the SEL likes what they've been experiencing.  What is
> not yet clear is the actual impact of the software in production.  They had, as
> I understand it, just completed (or were just completing) the software and had
> not put it into production.  Their feelings about its impact on the development
> process seemed positive, but it was not yet know what the maintenance history
> of the software would be.
> 
> Speaking only for myself, of course, I am...
> Scott P. Duncan (duncan@ctt.bellcore.com OR ...!bellcore!ctt!duncan)
>                 (Bellcore, 444 Hoes Lane  RRC 1H-210, Piscataway, NJ  08854)
>                 (201-699-3910 (w)   609-737-2945 (h))
> /* End of text from m.cs.uiuc.edu:comp.software-eng */


Brian Marick
Motorola @ University of Illinois
marick@cs.uiuc.edu, uiucdcs!marick