Develops a formal systems approach to design, including theorems, analysis of principles of design and information theory. This book derives methods for efficient design from the theory, based on AI and optimization. It also provides the methodology for developing the next generation computer software for advanced intelligent CAD.