This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im­provement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing, configuration management, and software quality assurance; provides detailed coverage of software metrics and problem solving; describes SCAMPI appraisals and how they form part of the continuous improvement cycle; presents an introduction to formal methods and the Z specification language; discusses UML, which is used to describe the architecture of the system; reviews the history of the field of software quality.

Dr. Gerard O'Regan is a CMMI software process improvement consultant with research interests including software quality and software process improvement, mathematical approaches to software quality, and the history of computing. He is the author of such Springer titles as Giants of Computing, Mathematics in Computing, A Brief History of Computing, Introduction to Software Process Improvement, and Mathematical Approaches to Software Quality.

Introduction.- Software Engineering.- Project Management.- Requirements, Design and Development.- Configuration Management.- Software Inspections.- Software Testing.- Supplier Selection and Management.- Software Quality Assurance.- Software Metrics.- ISO 9000.- Software Process Improvement.- Capability Maturity Model Integration.- Setting up a CMMI Initiative.- SCAMPI Appraisals.- Software Engineering Tools.- Formal Methods.- Z Formal Specification Language.- Unified Modelling Language.- Epilogue.