Advances in Formal Design Methods for CAD

Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

  • John S. Gero
  • Fay Sudweeks

Table of contents

  1. Front Matter
    Pages i-x
  2. Evolutionary Methods in Design

    1. Front Matter
      Pages 1-1
    2. Mary Lou Maher, Josiah Poon, Sylvie Boulanger
      Pages 3-30
    3. Mihaly Lenart, Mary Lou Maher
      Pages 51-55
  3. Generative and Search Methods in Design

  4. Performance Evaluation Methods in Design

    1. Front Matter
      Pages 105-105
    2. Yehuda E. Kalay, Gianfranco Carrara
      Pages 107-135
  5. Formal Support Methods in Design

    1. Front Matter
      Pages 187-187
    2. Mihaly Lenart
      Pages 189-207
    3. Hans Grabowski, Ralf-Stefan Lossack, Clemens Weis
      Pages 209-229
    4. Stephan Rudolph
      Pages 231-240
  6. Design Process Methods

    1. Front Matter
      Pages 241-241
    2. Frances Brazier, Pieter Van Langen, Jan Treur
      Pages 243-266
    3. Bangyu Lei, Toshiharu Taura, Jun Numata
      Pages 267-285
    4. Leo Joskowicz
      Pages 287-290
  7. Closing Discussion

  8. Back Matter
    Pages 299-299

About this book


Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.


algorithms architecture computer-aided design (CAD) formal method genetic algorithms heuristics knowledge base

Editors and affiliations

  • John S. Gero
    • 1
  • Fay Sudweeks
    • 1
  1. 1.Key Centre of Design ComputingUniversity of SydneySydneyAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-4428-6
  • Online ISBN 978-0-387-34925-1
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences