Publisher's Synopsis
This volume provides an explanation of cleanroom software development, which embeds the entire software development and testing process within a formal statistical design, where statistical inferences can be made on software operations and product reliability can be established.