Faithin Omaha eBook Collection

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

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

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

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

A self-contained and practical book providing step-by-step guidance to the design and construction of cleanrooms, appropriate testing methodologies, and operati