home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / software / 5486 < prev    next >
Encoding:
Text File  |  1993-01-28  |  1.9 KB  |  53 lines

  1. Newsgroups: comp.software-eng
  2. Path: sparky!uunet!charon.amdahl.com!amdahl!rtech!sgiblab!darwin.sura.net!cs.utk.edu!ornl!mars!abg
  3. From: abg@mars.ornl.gov (Alex L. Bangs)
  4. Subject: Re: Clean Room
  5. Message-ID: <1993Jan27.200748.28112@ornl.gov>
  6. Summary: bibliography
  7. Keywords: software engineering, statistics, cleanroom
  8. Sender: abg@ornl.gov
  9. Organization: Oak Ridge National Lab/CESAR
  10. References: <C17nGz.Aur@world.std.com>
  11. Date: Wed, 27 Jan 1993 20:07:48 GMT
  12. Lines: 39
  13.  
  14. Here's my bibliography for cleanroom; I just added the last reference
  15. from the latest IEEE Software:
  16.  
  17. ---------
  18. Harlan D. Mills, Michael Dyer, and Richard Linger,
  19. "Cleanroom Software Engineering",
  20. IEEE Software, September, 1987
  21.  
  22. P. Allen Currit, Michael Dyer, and Harlan D. Mills.
  23. "Certifying the Reliability of Software."
  24. Transactions on Software Engineering. V. SE-12, No 1, January 1986.
  25.  
  26. Richard W. Selby, Victor R. Basili, and F. Terry Baker.
  27. "Cleanroom Software Development, An Empirical Evaluation."
  28. Transactions on Software Engineering, V. SE-13, No. 9, September 1987.
  29.  
  30. R. C. Linger and H. D. Mills. "A Case Study in Cleanroom Software
  31. Engineering: The IBM COBOL Structuring Facility."  Proceedings
  32. of COMPSAC '88, IEEE Computer Society Press, 1988.
  33.  
  34. Harlan D. Mills and J. H. Poore, "Bringing Software Under
  35. Statistical Quality Control," Quality Progress, November 1988, pp. 52-55.
  36.  
  37. J.H. Poore, Harlan D. Mills, David Mutchler, "Planning and Certifying
  38. Software System Reliability," IEEE Software, January 1993, pp. 88-99.
  39. ---------
  40.  
  41. Also, note that an important element of development with cleanroom is
  42. using the box structured method for design; there are other references
  43. for this. If you look at the last item, you will also get references for
  44. testing and cleanroom, especially new work by Jim Whittaker.
  45.  
  46. Hope this helps,
  47.  
  48. Alex
  49. ----
  50. Alex L. Bangs ---> bangsal@ornl.gov         Of course, my opinions are
  51. Oak Ridge National Laboratory/CESAR            my own darned business...
  52. Autonomous Robotic Systems Group
  53.