Cleanroom Software Engineering: A Reader - Rilegato

Rilegato

ISBN 10: 185554654X ISBN 13: 9781855546547

Casa editrice: Blackwell Pub, 1996

Riassunto

The software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software engineering is the first practical development and certification to use statistical quality control to reduce software defects and costs. It has already distinguished itself as a complete software life cycle process with sound foundations in theory and demonstrated effectiveness in practice.

The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:

*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.

A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.

Su questo libro

The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:

*Incremental development under statistical process review.
*Formal methods for specification, design and verification.
*Statistical reliability certification.

A Reader in Classroom Software Engineering gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.

Dettagli dell'edizione

• Editore: Blackwell Pub
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 185554654X
• ISBN 13: 9781855546547
• Rilegatura: Copertina rigida
• Numero edizione: 1
• Numero di pagine: 381
• Redattore: Poore J. H., Trammell Carmen J.
• Contatto del produttore: non disponibile
• Persona responsabile: Buchpark GmbH; gpsr@buchpark.de; ; Krügerweg 1; Trebbin; Brandenburg; 14959; Germania