Cleanroom Software Engineering: Technology and Process

Prowell, Stacy J.

ISBN 10: 0201854805 / ISBN 13: 9780201854800

Published by Addison-Wesley Professional, 1999

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_334630462

Bibliographic Details

• Title: Cleanroom Software Engineering: Technology and Process
• Publisher: Addison-Wesley Professional
• Publication Date: 1999
• Language: English
• ISBN 10: 0201854805
• ISBN 13: 9780201854800
• Binding: Paperback
• Condition: Good

About this title

Synopsis

Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development.

Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs.

Highlights

• Explains basic Cleanroom theory
• Introduces the sequence-based specification method
• Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM)
• Shows how the Cleanroom process dovetails with the SEI's Capability Maturity Model for Software (CMM)
• Includes a large case study to illustrate how Cleanroom methods scale up to large projects.

About the Author

Stacy J. Prowell is a member of the technical staff at Q-Labs, and is the principal inventor of the sequence-based specification method.

Carmen J. Trammell is Manager of Software Quality at CTI-PET Systems, a leading medical imaging company that is integrating Cleanroom technology into product development.

Richard C. Linger is a Visiting Scientist at Carnegie Mellon University's Software Engineering Institute. During his career at IBM he worked with Harlan D. Mills to develop the foundations of Cleanroom, and managed IBM's first Cleanroom project.

Jesse H. Poore is a Professor of Computer Science at the University of Tennessee and holds the Ericsson-Harlan D. Mills Chair in Software Engineering.

0201854805AB04062001