Formal Engineering Design Synthesis

Developments in formal design synthesis methods, illustrated with several representative design projects.

Foreword Lionel March; Preface; Introduction; 1. Vitruvius redux William J. Mitchell; 2. How to calculate with shapes George Stiny; 3. Engineering shape grammars Jonathan Cagan; 4. Creating structural configurations Panos Y. Papalambros and Kristina Shea; 5. Microsystem design synthesis Erik K. Antonsson; 6. Function-based synthesis methods in engineering design Kristin L. Wood and James L. Greer; 7. Artificial intelligence for design Thomas F. Stahovich; 8. Evolutionary and adaptive synthesis methods Cin-Young Lee, Lin Ma and Erik K. Antonsson; 9. Kinematic synthesis J. Michael McCarthy and Leo Joskowicz; 10. Systematic chemical process synthesis Scott D. Barnicki and Jeffrey J. Siirola; 11. Synthesis of analog and mixed-signal integrated electronic circuits Georges G. E. Gierlen and Rob A. Rutenbar; 12. Mechanical design compilers Allen C. Ward; 13. Scientific discovery and inventive engineering design Jonathan Cagan, Kenneth Kotovsky and Herbert A. Simon; Index.