Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!wang!wdr
From: wdr@wang.com (William Ricker)
Newsgroups: comp.software-eng
Subject: Re: Cleanroom software engineering
Message-ID: <antu5t.43k@wang.com>
Date: 6 Jun 90 15:10:30 GMT
References: <1990Jun4.112334.20637@lth.se> <55058@microsoft.UUCP
Organization: Wang Labs, Lowell MA, USA
Lines: 58

This note examines (a) the bibliography of Mill's flagship article
in IEEE Software, and (b) what DeMarco said contemporaneously.

----------------

Harlan Mills discusses "data structured programming, functional verification
and cleanroom software development" and how they've been used in
industry in IEEE Software's special issue on Fundamental Concepts in 
Software Engineering (a great collector's issue!), November '86, p58-66.

<< Aside to verification flamers: H.D.Mills uses rigorous, but non-formal,
proofs using function theory instead of Hoare Axioms: "In practice, functional
verification is harder to teach but easier to scale up to large prgrams because
of the presence of algebraic structure in an explicit form." 
[If you FOLLOWUP this aside, please change the SUBJECT: !!]>>

Mills cites himself:
Mills & Linger, "Data Structured Programming: Program Design without Arrays
and Pointers", IEEE Trans.SwEng, Vol SE-12 #2, Feb'86 pp 192-197.

Currit, Dyer & Mills, "Certifying the reliability of Software",
SE-12 #1, Jan.'86, p3-11.

Linger, Mills & Witt, Structured Programming: Theory & Practice,
(Reading: Addision-Wesley, 1979).

Mills, Software Productivity (Boston: Little Brown, 1983)

Mills et al., Principles of COmputer Programming: A Mathematical
Approach (Rockleigh NJ: Allyn and Bacon, 1987).
 (a new undergraduate text to provide the background for his
techniques early, including how to scale up from toy programs to
real life. hmm. I should get a copy ...)

----------------

Tom DeMarco, Controlling Software Projects, (New York: Yourdon Press, 1982).
Chapter 22 is "Zero Defect Development.  Unfortunately, a very short
chapter with no relevant references (one ref is to problem statements).

One general reference given:

P.B. Crosby, Quality is Free: The art of making quality certain (New York:
McGraw-Hill, 1979).

DeMarco& Lister's Peoplware (New York: Dorset House, 1987) cites 
Harlan Mills "Software Productivity in the Enterprise" in Software 
Productivity (Boston: Little, Brown, 1983).

  Peopleware is a great book on the  work environment, team building, 
and how to (mis)manage creative people and software, but doesn't address 
the clean-room concept per se.  I hope I don't need to belabor DeMarco's
two books mentioned here in this newsgroup, since I would expect all of
you already have them.
-- 
/bill ricker/
wdr@wang.com a/k/a wricker@northeastern.edu
*** Warning: This account not authorized to express opinions ***