Path: utzoo!utgpu!watserv1!watmath!att!pacbell!pacbell.com!mips!zaphod.mps.ohio-state.edu!usc!snorkelwacker!ira.uka.de!fauern!forwiss.uni-passau.de!gengenba
From: gengenba@forwiss.uni-passau.de (Michael Gengenbach)
Newsgroups: comp.software-eng
Subject: Re: Cleanroom software engineering
Message-ID: <1990Jun4.121617.15612@forwiss.uni-passau.de>
Date: 4 Jun 90 12:16:17 GMT
References: <1990Jun4.112334.20637@lth.se>
Sender: usenet@forwiss.uni-passau.de (USENET News System)
Organization: University of Passau, W-Germany
Lines: 31

rn@tts.lth.se (Richard Niklasson) writes:

>I have heard some rumours about "Cleanroom software engineering"
>(Harlan D Mills ?). Anyone out there having any reference to books,
>articles, tools.... or any comments on the methodology?

Cleanroom software development is a method to develop software without
using a computer to test your programs during the development process
(actually it is a little more, e.g. some administrative things, etc.).

Some references are:

   Dyer, M.: A Format Approach to Software Error Removal
      J. Systems Software 7, 109-114 (1987)
   Mills, H.D.; Dyer, M.; Linger, R.C.: Cleanroom Software Engineering
      IEEE Software, 19-25, Sept. 1987
   Selby, R.W., Basili, V.R.; Baker, F.T.: Cleanroom Software
      Development: An Empirical Evaluation
      IEEE Trans. Software Eng. 13, 1027-1037 (1987)

>It should be a methodology for program verification

They say, it is faster and the software is more reliable, but 86% of
the developers miss the fun of running their programs :-)

Michael
--
Michael Gengenbach   \/\/\/\/\/  gengenbach@forwiss.uni-passau.de
FORWISS               \/\/\/\/
University of Passau  /\/\/\/\   Phone: +49 851/509-496
West Germany         /\/\/\/\/\  Fax  : +49 851/509-497