DoD Ch. 8

     Brooks begins chapter eight describing the two sides of creating a complex design from a rationalist and empiricist point of view. Then he talks about how hard it is to design a perfect program in one try, nearly impossible. He continues on about how formal proofs of correctness work in software but not for other types of physical design. Then he writes about the several types of testing that is used instead of proofs for physical designs.  In conclusion, the more sophisticated the analysis and testing, the more complete and perfect a design is.