Formal Engineering Design Synthesis

Download or read book Formal Engineering Design Synthesis written by Erik K. Antonsson and published by Cambridge University Press. This book was released on 2005-09-29 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the early 1960s systematic techniques were introduced to guide engineers in producing high-quality designs. By the mid-1980s, these methods evolved from their informal guideline-like origins to more formal computable methods. Recently, highly automated design synthesis techniques have emerged. This timely work reviews the state of the art in 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. The chapters are written by internationally renowned experts in engineering and architectural design.