Formal Design Methods for CAD: Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 1994: v. B-18 ... B: Computer Applications in Technology S.) - Tapa blanda

9780444819703: Formal Design Methods for CAD: Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 1994: v. B-18 ... B: Computer Applications in Technology S.)

Tapa blanda

ISBN 10: 0444819703 ISBN 13: 9780444819703

Editorial: North-Holland, 1994

Ver todas las copias de esta edici�n del ISBN

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.