The cleanroom approach to quality software development

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

The cleanroom approach to quality software development

Source

Wiley Series In Software Engineering Practice archive

Pages: 198

Year of Publication: 1992

ISBN:0-471-54823-5

Author

Michael Dyer

IBM Corp.

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 31

Additional Information:

cited by index terms review collaborative colleagues

Tools and Actions:	Review this Book Save this Book to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 31

	Stephen R. Schach, Testing: principles and practice, ACM Computing Surveys (CSUR), v.28 n.1, p.277-279, March 1996
	Philip M. Johnson, Reengineering inspection, Communications of the ACM, v.41 n.2, p.49-52, Feb. 1998
	Martin Neil , Gary Ostrolenk , Mary Tobin , Mark Southworth, Lessons from Using Z to Specify a Software Tool, IEEE Transactions on Software Engineering, v.24 n.1, p.15-23, January 1998
	Victor Basili , Tom DeMarco , Ali Mili, Science and engineering for software development: a recognition of Harlan D. Mills' legacy, Proceedings of the 21st international conference on Software engineering, p.710-711, May 16-22, 1999, Los Angeles, California, United States
	Robert Oshana , Frank P. Coyle, Implementing cleanroom software engineering into a mature CMM-based software organization, Proceedings of the 19th international conference on Software engineering, p.572-573, May 17-23, 1997, Boston, Massachusetts, United States
	Bev Littlewood , Peter Popov , Lorenzo Strigini, Modeling software design diversity: a review, ACM Computing Surveys (CSUR), v.33 n.2, p.177-208, June 2001
	Gilles Bernot , Laurent Bouaziz , Pascale Le Gall, A theory of probabilistic functional testing, Proceedings of the 19th international conference on Software engineering, p.216-226, May 17-23, 1997, Boston, Massachusetts, United States
	Marie-Claude Gaudel, Formal specification techniques (extended abstract), Proceedings of the 16th international conference on Software engineering, p.223-227, May 16-21, 1994, Sorrento, Italy
	Wolfgang Emmerich, Distributed component technologies and their software engineering implications, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Oliver Laitenberger , Dieter Rombach, (Quasi-)experimental studies in industrial settings, Lecture notes on empirical software engineering, World Scientific Publishing Co., Inc., River Edge, NJ, 2003
	Suzanne Smith , Sara Stoecklin, What we can learn from extreme programming, Journal of Computing Sciences in Colleges, v.17 n.2, p.144-151, December 2001
	Ralf H. Reussner , Heinz W. Schmidt , Iman H. Poernomo, Reliability prediction for component-based software architectures, Journal of Systems and Software, v.66 n.3, p.241-252, 15 June 2003
	Bob Blakley, The Emperor's old armor, Proceedings of the 1996 workshop on New security paradigms, p.2-16, September 17-20, 1996, Lake Arrowhead, California, United States
	Mary E. Helander , Ming Zhao , Niclas Ohlsson, Planning Models for Software Reliability and Cost, IEEE Transactions on Software Engineering, v.24 n.6, p.420-434, June 1998
	Norman E. Fenton , Niclas Ohlsson, Quantitative Analysis of Faults and Failures in a Complex Software System, IEEE Transactions on Software Engineering, v.26 n.8, p.797-814, August 2000
	Robert S. Oshana, Tailoring Cleanroom for Industrial Use, IEEE Software, v.15 n.6, p.46-55, November 1998
	Richard C. Linger, Cleanroom Process Model, IEEE Software, v.11 n.2, p.50-58, March 1994
	Oliver Laitenberger , Khaled El Emam , Thomas G. Harbich, An Internally Replicated Quasi-Experimental Comparison of Checklist and Perspective-Based Reading of Code Documents, IEEE Transactions on Software Engineering, v.27 n.5, p.387-421, May 2001
	Norman E. Fenton , Martin Neil, A Critique of Software Defect Prediction Models, IEEE Transactions on Software Engineering, v.25 n.5, p.675-689, September 1999
	Hidetaka Kondoh , Kokichi Futatsugi, To use or not to use the goto statement: programming styles viewed from Hoare logic, Science of Computer Programming, v.60 n.1, p.82-116, March 2006
	Watts S. Humphrey, Software – A performing science?, Annals of Software Engineering, v.10 n.1-4, p.261-271, 2000
	Claus Lewerentz , Heinrich Rust, Are software engineers true engineers?, Annals of Software Engineering, v.10 n.1-4, p.311-328, 2000
	Graham A. King, Quality technique transfer: Manufacturing and software, Annals of Software Engineering, v.10 n.1-4, p.359-372, 2000
	Philip M. Johnson , Danu Tjahjono, Does Every Inspection Really Need a Meeting?, Empirical Software Engineering, v.3 n.1, p.9-35, 1998
	Chuck Howell, Surfing the net for software engineering notes, ACM SIGSOFT Software Engineering Notes, v.20 n.1, p.7-15, Jan. 1995
	Jonathan Vincent , Graham King , Peter Lay , John Kinghorn, Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems, Software Quality Control, v.10 n.2, p.115-133, September 2002
	Huey-Der Chu , John E. Dobson , I.-Chiang Liu, FAST: a framework for automating statistics-based testing, Software Quality Control, v.6 n.1, p.13-36, 1997
	John A. Hoxmeier, Typology of database quality factors, Software Quality Control, v.7 n.3-4, p.179-193, 1998
	S. H. Kan , Victor R. Basili , Larry N. Shapiro, Software quality: an overview from the perspective of total quality management, IBM Systems Journal, v.33 n.1, p.4-19, 1994
	P. A. Hausler , R. C. Linger , C. J. Trammell, Adopting Cleanroom software engineering with a phased approach, IBM Systems Journal, v.33 n.1, p.89-109, 1994
	V. R. Yakhnis , J. A. Farrell , S. S. Shultz, Deriving programs using generic algorithms, IBM Systems Journal, v.33 n.1, p.158-181, 1994

INDEX TERMS

Primary Classification:
K. Computing Milieux
K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
K.6.3 Software Management
Subjects: Software development

Additional Classification:
D. Software
D.1 PROGRAMMING TECHNIQUES
D.2 SOFTWARE ENGINEERING
D.2.9 Management
Subjects: Software quality assurance (SQA)

General Terms:
Design, Management, Measurement, Performance, Reliability, Verification

REVIEW

"Philip Jesse Herrera : Reviewer"

“Cleanroom is a method for developing software with known and predictable reliability.” Everyone who is or will be paid to participate in the software development process should read this book. It provides a good introduction to th more...

Collaborative Colleagues:

Michael Dyer: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player