Skip to main content
SpringerLink
Log in

Advances in Formal Design Methods for CAD

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

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. John S. Gero

    1. Key Centre of Design Computing, University of Sydney, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fay Sudweeks

    1. Key Centre of Design Computing, University of Sydney, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Evolutionary Methods in Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formalising Design Exploration as Co-Evolution

      • Mary Lou Maher, Josiah Poon, Sylvie Boulanger
      Pages 3-30

    3. Evolving Building Blocks for Design Using Genetic Engineering: A Formal Approach

      • John S. Gero, Vladimir A. Kazakov
      Pages 31-50

    4. Evolutionary Methods in Design: Discussion

      • Mihaly Lenart, Mary Lou Maher
      Pages 51-55

  3. Generative and Search Methods in Design

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Modified Shape Annealing for Optimally-Directed Generation: Initial Results

      • Ken N. Brown, Jon Cagan
      Pages 59-73

    3. Incorporating Heuristics and a Meta-Architecture in a Genetic Algorithm for Harness Design

      • Carlos Zozaya-Gorostiza, Luis. F. Estrada
      Pages 75-96

    4. Generation and Search Methods in Design: Discussion

      • Ken Brown
      Pages 97-103

  4. Performance Evaluation Methods in Design

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. A Performance-Based Paradigm of Design

      • Yehuda E. Kalay, Gianfranco Carrara
      Pages 107-135

    3. A Formal Method for Assessing Product Performance at the Conceptual Stage of the Design Process

      • Paul Rodgers, Alistair Patterson, Derek Wilson
      Pages 137-164

    4. On a Symbolic CAD Front-End for Design Evaluation Based on the Pi-Theorem

      • Stephan Rudolph
      Pages 165-179

    5. Performance Evaluation Methods in Design: Discussion

      • Hans Grabowski
      Pages 181-186

  5. Formal Support Methods in Design

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Formal Concept Analysis in Design

      • Mihaly Lenart
      Pages 189-207

    3. Supporting the Design Process by an Integrated Knowledge Based Design System

      • Hans Grabowski, Ralf-Stefan Lossack, Clemens Weis
      Pages 209-229

    4. Formal Support Methods in Design: Discussion

      • Stephan Rudolph
      Pages 231-240

  6. Design Process Methods

    1. Front Matter

      Pages 241-241
      Download chapter PDF

    2. A Logical Theory of Design

      • Frances Brazier, Pieter Van Langen, Jan Treur
      Pages 243-266
Back to top

Keywords

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.

Editors and Affiliations

  • Key Centre of Design Computing, University of Sydney, Sydney, Australia

    John S. Gero, Fay Sudweeks

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation