## Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194Formal design methods provide the basis for the non-graphical use of computer-aided design. This volume represents the cutting edge of international research in the area, where artificial intelligence and cognitive science paradigms are providing a renewed impetus for exploration and development. The sixteen chapters are grouped into five parts: formal representations in design; shape grammars in design; design grammars; formalised design processes; and exploration in design. The volume will provide a valuable source of information for all those connected with this field. |

### From inside the book

Results 1-3 of 93

Page 25

The

assembly. To this end, it is useful to explicitly represent the dependencies that

reflect the adjustments to the 'original' amplifier GSM-1. We therefore describe A',

Z'in ...

The

**function**should describe the relevant part of the external behaviour of theassembly. To this end, it is useful to explicitly represent the dependencies that

reflect the adjustments to the 'original' amplifier GSM-1. We therefore describe A',

Z'in ...

Page 80

This definition can be understood as follows. begin_func/2 is a

arguments; it relabels its second argument, a point, with x if its label matches its

first argument. If begin_func/2 is invoked with just one argument, that argument

fills ...

This definition can be understood as follows. begin_func/2 is a

**function**of twoarguments; it relabels its second argument, a point, with x if its label matches its

first argument. If begin_func/2 is invoked with just one argument, that argument

fills ...

Page 164

Since the same physical principle can express several different

have chosen to establish a modular structure of the ... Relationships between

1988).

Since the same physical principle can express several different

**functions**, wehave chosen to establish a modular structure of the ... Relationships between

**function**, physical effects, physical principles and solution principles (from Pahl,1988).

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A tutorial introduction to grammatical programming | 73 |

Geometric design with boundary solid grammars | 85 |

vi | 89 |

Copyright | |

14 other sections not shown

### Common terms and phrases

abduction abstraction algorithm application Artificial Intelligence aspects attribute models b-graph behaviour boundary solid grammar Cagan Carnegie Mellon University complex components computational computer-aided design concepts configuration constraint network context context-free context-free grammars defined definition derived describe description formalisms design description design knowledge design problems design process design space descriptions discussion domain e(corridor elements emergence Engineering Design entities Environment and Planning Euler operations evaluation example exploration external finite set formal methods formal representations formalisation function Galileo4 genetic algorithms geometric Gero graph gripping GSMs Heisserman IFIP ill-structured initial instantiated knapsack problem label language logic nodes objects operations optimization parameters physical principles post interpretation prototypes relations represent rewrite rule schema semantics shape annealing shape grammars shape rules simulated annealing solution principles solving specification Stiny structure symbols syntax synthesis theory tion tool topology truss Tyugu University of Sydney variables vocabulary workpiece YMIR