La méthode de développement de logiciels en salle blanche garantit une qualité optimale lors du développement de logiciels. Ce livre présente le moment, l'objectif, l'utilisation et la méthode d'emploi de l'ingénierie logicielle en salle blanche pour obtenir des logiciels de qualité. Le logiciel en salle blanche est un processus théorique, axé sur l'équipe, qui permet de développer des logiciels de très haute qualité sous contrôle statistique de la qualité. Cleanroom combine des méthodes formelles de spécification et de conception de structures de boîtes basées sur les...

Die Reinraum-Methode der Softwareentwicklung gewährleistet höchste Qualität bei der Entwicklung von Software. Dieses Buch beschreibt den Zeitpunkt, den Zweck, die Anwendung und die Methode für den Einsatz von Cleanroom Software Engineering für Qualitätssoftware. Cleanroom-Software ist ein theoriebasierter, teamorientierter Prozess zur Entwicklung sehr hochwertiger Software unter statistischer Qualitätskontrolle. Cleanroom kombiniert formale Methoden der objektbasierten Box-Struktur-Spezifikation und -Entwurf, funktionstheoretische Korrektheitsüberprüfung und statistische...

The cleanroom method of software development ensures the highest quality when developing software. This book outlines the time, purpose, use, and method for employing cleanroom software engineering for quality software. Cleanroom software is a theory-based, team-oriented process for developing very high-quality software under statistical quality control. Cleanroom combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for quality certification. The cleanroom reference model is expressed in...