## The Science of Computing: Shaping a DisciplineThe identity of computing has been fiercely debated throughout its short history. Why is it still so hard to define computing as an academic discipline? Is computing a scientific, mathematical, or engineering discipline? By describing the mathematical, engineering, and scientific traditions of computing, The Science of Computing: Shaping a Discipline presents a rich picture of computing from the viewpoints of the field’s champions. The book helps readers understand the debates about computing as a discipline. It explains the context of computing’s central debates and portrays a broad perspective of the discipline. The book first looks at computing as a formal, theoretical discipline that is in many ways similar to mathematics, yet different in crucial ways. It traces a number of discussions about the theoretical nature of computing from the field’s intellectual origins in mathematical logic to modern views of the role of theory in computing. The book then explores the debates about computing as an engineering discipline, from the central technical innovations to the birth of the modern technical paradigm of computing to computing’s arrival as a new technical profession to software engineering gradually becoming an academic discipline. It presents arguments for and against the view of computing as engineering within the context of software production and analyzes the clash between the theoretical and practical mindsets. The book concludes with the view of computing as a science in its own right—not just as a tool for other sciences. It covers the early identity debates of computing, various views of computing as a science, and some famous characterizations of the discipline. It also addresses the experimental computer science debate, the view of computing as a natural science, and the algorithmization of sciences. |

### Från bokens innehåll

Resultat 1-5 av 5

After almost 60 years of

**debates**, the field seems to be further away from a

consensus than ever before. Moreover, most arguments make a strong case for

their cause, and they are often based on an intuitively appealing idea of

computing as ...

Organization of This Book This book is organized around three central

**debates**

that reflected, and perhaps shaped, the discipline's formation. Many

characterizations of computing have been formulated around three different

intellectual ...

14 The second

**debate**that this book portrays is the

**debate**about computing as

an engineering discipline, which was brought under scrutiny at the end of the

1960s, when software engineering promised an end to the “software crisis.

Du har uppnått den maximala visningen för bokenvarför?..

Du har uppnått den maximala visningen för bokenvarför?..

### Så tycker andra - Skriv en recension

### Innehåll

3 | |

17 | |

Theoretical Roots of Modern Computing | 21 |

Marriage to Mathematics | 33 |

The Formal Verification Debate | 59 |

The Fall and Rise of Engineering | 85 |

Engineering the Modern Computer | 91 |

Software Engineering to the Rescue | 111 |

Whats in a Name? | 145 |

Science of the Artificial | 153 |

Empirical Computer Science | 175 |

Conclusions | 203 |

References | 219 |

Bibliography | 253 |

Back Cover | 277 |

The Science of Computing | 139 |