Formal Engineering Design Synthesis

In recent years highly automated design synthesis techniques have emerged demonstrating that aspects of design can be formalized. This intriguing book, with chapters by internationally renowned experts, reviews formal design synthesis methods, explores formal design synthesis, and examines future directions in computational design synthesis research.

The development of a new design is often thought of as a fundamentally human, creative act. However, emerging research has demonstrated that aspects of design synthesis can be formalized. First steps in this direction were taken in the early 1960s when systematic techniques were introduced to guide engineers in producing high-quality designs. By the mid-1980s these methods had evolved from their informal (guideline-like) origins to more formal (computable) methods. In recent years, highly automated design synthesis techniques have emerged. This intriguing book reviews formal design synthesis methods. It also provides an in-depth exploration of several representative projects in formal design synthesis and examines future directions in computational design synthesis research. Written by internationally renowned experts in engineering and architectural design, it covers essential topics in engineering design, and will appeal to designers, researchers and engineering graduate students.