'Formal Engineering Design Synthesis celebrates the sheer intellectual pleasure of design. Through rigour in theory and daring in application the articles in this book present an inspiring guide to state-of-the-art research.' Environment and Planning B: Planning and Design
The creation of a new design is often thought of as a fundamentally human, creative act. However, emerging research has demonstrated that aspects of design can be formalized. By the mid-1980s earlier informal methods evolved into more formal (computable) methods. More recently, highly automated design synthesis techniques have emerged. This timely book, with chapters by internationally renowned experts, reviews the state of the art in formal design synthesis methods. It also provides an in-depth exploration of several projects in formal design synthesis and examines future directions in computational design synthesis research.