Cleanroom Software Engineering is a set of techniques and practices for the development of software-intensive systems. This book brings together concepts, lesso

Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project

"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods,

Describes the first practical attempt to place software development under statistical quality control and to deliver software with a known and certified meantim

This revised edition of Software Engineering-Principles and Practices has become more comprehensive with the inclusion of several topics. The book now offers a