Design Theory and Computer Science

Erscheinungsjahr 2015
ISBN: 978-0-521-39021-7
Verlag: Cambridge University Press

Buch, Englisch, Band 15, 448 Seiten, Format (B × H): 175 mm x 250 mm, Gewicht: 950 g

Reihe: Cambridge Tracts in Theoretical Computer Science

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.

Autoren/Hrsg.

Dasgupta, Subrata

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker

Inhaltsverzeichnis

Preface; Part I. The Architectonics of Design: 1. The inadequacy of definitions; 2. Design as the initiation of change; 3. The nature of design problems; 4. The form of design solutions; 5. The evolutionary structure of design processes; Part II. Design Paradigms: 6. The concept of a design paradigm; 7. The analysis-synthesis-evaluation paradigm; 8. Formal design; 9. Plausibility driven design; 10. Computer aided design I: the algorithmic approach; 11. Computer aided design II: harnessing knowledge, search and heuristics.