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

The software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable a

For over 20 years, Software Engineering: A Practitioner's Approach has been the best selling guide to software engineering for students and industry professiona

Software Process Improvement (SPI) efforts are being undertaken by organizations of all types and sizes as they attempt to deal with the challenges of quality,

Learn how to attract and keep successful software professionals Software Engineering Quality Practices describes how software engineers and the managers that su

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze

Are the Cleanroom software engineering requirements testable? What is the kind of project structure that would be appropriate for your Cleanroom software engine

In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology to system