The end of computing science?

@article{Dijkstra2001TheEO,
  title={The end of computing science?},
  author={E. Dijkstra},
  journal={Commun. ACM},
  year={2001},
  volume={44},
  pages={92}
}
I would therefore like to posit that computing’s central challenge, “How not to make a mess of it,” has not been met. On the contrary, most of our systems are much more complicated than can be considered healthy, and are too messy and chaotic to be used in comfort and confidence. The average customer of the computing industry has been served so poorly that he expects his system to crash all the time, and we witness a massive worldwide distribution of bug-ridden software for which we should be… Expand

Topics from this paper

Solid Software: Is It Rocket Science?
TLDR
This presentation will present several techniques for producing "solid software": software that is reliable, predictable and easy to maintain and explore whether these techniques are enough to guarantee high quality every time. Expand
Model maintenance based in COBIT for the applications architecture in TOGAF enterprise architectures — MOMCAE
This paper presents concepts related to enterprise architecture (EA) and the rationale for how their practice has been gaining importance in organizations because of its integrating character andExpand
Embracing ambiguity
TLDR
This paper is the first time that engineering education has been examined and contrasted in the contexts of THE and TVET, and the similarities and common challenges identified may represent a new focus for related work. Expand
Towards the Use of Formal Ontologies in Enterprise Architecture Framework Repositories
TLDR
This position paper wants to argue for the integration of formal ontologies and ontology technologies as tools into enterprise architecture frameworks to assist architects with the management of this complexity. Expand
Looking for Computers in the Biological Cell. After Twenty Years
This is a personal, in a great extent autobiographical, view on natural computing, especially about DNA and membrane computing, having as a background the author work in these research areas in theExpand
Practice-oriented formal methods to support the software development of industrial control systems
syntax Semantics Concrete syntax Semantics Abstract syntax
Principles of Computational Thinking Tools
TLDR
This chapter outlines three principles, and employs AgentCubes online as an example, on how a Computational Thinking Tool provides support for these stages by unifying human abilities with computer affordances. Expand
Machine code and metaphysics : a perspective on software engineering
TLDR
This work compares unpredictable development of computing technology against the cyclic legacy of technological advance and scientific discovery, and suggests that SE indicates an enabling cycle, discernible in previous scientific revolution(s), is stalled or possibly hidden. Expand
Improving Safety in Medical Devices and Systems
  • H. Thimbleby
  • Computer Science
  • 2013 IEEE International Conference on Healthcare Informatics
  • 2013
TLDR
Every system the authors have examined has multiple opportunities for safer design, suggesting a safety scoring system, both to accommodate manufacturers improving device safety and to accommodate insights from further research in design-induced error. Expand
...
1
2
3
4
5
...