Advances in Formal Design Methods for CAD

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

By: Asko Riitahuhta (Editor), Fay Sudweeks (Editor)

Write A Review

Hardcover | 29 February 1996

At a Glance

Hardcover
316 Pages

Dimensions(cm)
23.39 x 15.6 x 1.91

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 5 to 7 business days

Recently, design techniques have been formalized, not as humano-centred processes, but as processes capable of computer implementation with the goal of augmenting human designers. This book presents state-of-the-art chapters on formal design methods for computer-aided design. It covers design methods based on evolutionary systems, generative processes, performance evaluation, analysis and design process methods.
Advances in Formal Design Methods for CAD contains the selected proceedings of the Workshop on Formal Design Methods for Computer-Aided Design, organized by the International Federation for Information Processing and held in Mexico City, Mexico in June 1995.
This book will be essential reading for all those involved in computer-aided design, particularly researchers, CAD developers, R&D personnel and graduate students.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Graphical & Digital Media Applications Computer-Aided Design CAD Computer Science Artificial Intelligence Engineering & Technology Mechanical Engineering & Materials Mechanical Engineering Technology in General Technical Design Arts & Entertainment

Architecture Architectural Structure & Design

Other Editions and Formats

Paperback

Published: 17th January 2013

View Product

Preface
Author electronic addresses
International program committee
List of participants
Formalising design exploration as co-evolution: a combined gene approach	p. 3
Evolving building blocks for design using genetic engineering: a formal approach	p. 31
Discussion: Evolutionary methods in design	p. 51
Modified shape annealing for optimally-directed generation: initial results	p. 59
Incorporating heuristics and a meta-architecture in a genetic algorithm for harness design	p. 75
Discussion: Generative and search methods in design	p. 97
A performance-based paradigm of design	p. 107
A formal method for assessing product performance at the conceptual stage of the design process	p. 137
On a symbolic CAD-front-end for design evaluation based on the Pi-theorem	p. 165
Discussion: Performance evaluation methods in design	p. 181
Formal concept analysis in design	p. 189
Supporting the design process by an integrated knowledge based design system	p. 209
Discussion: Formal support methods in design	p. 231
A logical theory of design	p. 243
Representing the collaborative design process: a product model-oriented approach	p. 267
Discussion: Design process methods	p. 287
Advances in formal design methods for computer-aided design	p. 293
Author Index	p. 299
Table of Contents provided by Blackwell. All Rights Reserved.

Advances in Formal Design Methods for CAD

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

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Artificial Intelligence

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Generative AI for Communications Systems

Fundamentals, Applications, and Prospects

Handbook on Integrating Smart Technologies for Sustainable Development

Smart Technologies for Engineers and Scientists

Feature Selection and Feature Extraction on Omics Data

Cultural Intelligence in Aviation

Bridging Social Attitudes, Culture, and Safety in a Global Environment

Fluid Mechanics in the Digital Era

Advanced Concepts and Applications

Artificial Intelligence and Higher Education

The Impact of AI on Business Students Learning

Smart Technologies and Intelligent Computing

AI-driven Cyber Risk Management

River Publishers Series in Digital Security and Forensics

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI for Business

A Guide to AI Adoption

The Singularity is Nearer

When We Merge with AI

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Python Workout, Second Edition

200 ten-minute exercises

The Challenge of the Future

What Should We Keep from Yesterday as We Rush into Tomorrow?

This product is categorised by