Recently, design techniques have been formalized, not as humano-centred processes, but as processes capable of computer implementation with the goal of augmenting human designers. This book presents state-of-the-art chapters on formal design methods for computer-aided design. It covers design methods based on evolutionary systems, generative processes, performance evaluation, analysis and design process methods. Advances in Formal Design Methods for CAD contains the selected proceedings of the Workshop on Formal Design Methods for Computer-Aided Design, organized by the International Federation for Information Processing and held in Mexico City, Mexico in June 1995. This book will be essential reading for all those involved in computer-aided design, particularly researchers, CAD developers, R&D personnel and graduate students.