The end of computing science?

  title={The end of computing science?},
  author={Edsger W. Dijkstra},
  journal={Commun. ACM},
  • E. Dijkstra
  • Published 1 March 2001
  • Computer Science
  • Commun. ACM
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… 
Solid Software: Is It Rocket Science?
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.
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 and
The Omnibus language and integrated verification approach
This paper aims to provide a chronology of the events leading up to and including the publication of this book and some of the key events that led to its publication.
Embracing ambiguity
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.
Towards the Use of Formal Ontologies in Enterprise Architecture Framework Repositories
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.
Principles of Computational Thinking Tools
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.
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 the
Practice-oriented formal methods to support the software development of industrial control systems
syntax Semantics Concrete syntax Semantics Abstract syntax
Machine code and metaphysics : a perspective on software engineering
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.