The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design. This book concentrates upon the relationship between design, mathematics and science and thus its audience must include designers and software designers as well as computer scientists.

"The book is scholarly and clearly written. The subject matter is important and of topical interest for AI, and the book offers thought-provoking theses. Those interested in design should take a look at it." B. Chandrasekaran, IEEE Expert

"...a good critical survey of various approaches, which will teach computer scientists what design is, what the problems are, and what possible solutions have been proposed." V. Kre^D&inovich, Computing Reviews

"...marvelously written, full of easy to follow examples, often worked out in great detail, with clear statements of the author's conclusions...draws from a broad knowledge of the literature, and might serve as a starting point for anybody interested in the challenges of the intellectual triangle of design, mathematics, and science...never in danger of becoming shallow...for anyone in computer science and in software who also wants to know about alternatives to his or her cherished mode of design without expecting recipes, this book is highly recommended." Frieder Nake, Languages of Design