Formal Design Methods for CAD (IFIP Transactions B: Computer Applications in Technology)

ISBN 10: 0444819703 / ISBN 13: 9780444819703

Verlag: North Holland, 1994

Beschreibung

Mint condition.

Bestandsnummer des Verkäufers mon0000436342

Bibliografische Details

• Titel: Formal Design Methods for CAD (IFIP Transactions B: Computer Applications in Technology)
• Verlag: North Holland
• Erscheinungsjahr: 1994
• Sprache: Englisch
• ISBN-10: 0444819703
• ISBN-13: 9780444819703
• Einband: Paperback
• Zustand: Fine

Über diesen Titel

Inhaltsangabe

Formal 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.

Reseña del editor

Formal 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 16 chapters are grouped into five parts: formal representations in design; shape grammars in design; design grammars; formalized design processes; and exploration in design. The volume should provide a valuable source of information for all those connected with this field.