Is Computing an Experimental Science?

@article{Milner1987IsCA,
  title={Is Computing an Experimental Science?},
  author={Robin Milner},
  journal={Journal of Information Technology},
  year={1987},
  volume={2},
  pages={58-66}
}
  • R. Milner
  • Published 1 June 1987
  • Computer Science
  • Journal of Information Technology
We are beginning an ambitious programme of research into the Foundations of Computer Science. This isn’t to say that we are beginning to study the theory of computation; this has been going on fruitfully for many years. Nevertheless the particular programme which we have put forward is a new kind of exercise. What makes it new is a central commitment to a double thesis: that the design of computing systems can only properly succeed if it is well grounded in theory, and that the important… Expand
Redressing the past: liberating computing as an experimental science
TLDR
This short paper was submitted to the Steering Committee of the Grand Challenges for Computer Research in March 2004 and briefly alludes to the possibility of founding such a framework on building computer-based construals to embody the patterns of agency and dependency amongst observables that the authors project on to the situations to which they refer. Expand
Verification Is Experimentation!
TLDR
This essay argues that verification is part of an experimental paradigm in at least two senses and that this observation has consequences for the ways in which the authors should research and apply formal methods. Expand
Wherefore Art Thou... Semantics of Computation?
TLDR
It is put forward the thesis that, rather than being a drawback, plurality is what makes Semantics useful, and that Semantics of Computation is a “partita doppia”, a double check of what the authors think they understand in computing. Expand
Verification is experimentation!
  • E. Brinksma
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2001
TLDR
This essay argues that verification is part of an experimental paradigm in at least two senses and that this observation has consequences for the ways in which the authors should research and apply formal methods. Expand
Science, Mathematics, Computer Science, Software Engineering
TLDR
The thesis is that while software touches science in many ways, it does not itself have a significant scientific component and mathematics has found its own foundations apart from science, and computer science must do the same. Expand
What Does the Future Hold for Theoretical Computer Science
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Research Methods in Computer Science: The Challenges and Issues
TLDR
Despite several special parameters that make research in computing rather unique, it still follows the same steps that any other scientific research would do and the particularities that researchers need to consider when they conduct research in this field are shown. Expand
Formal Specification of Graphics Software
TLDR
The paper concludes with a substantial example taken from the author’s own work towards a formal description of the ISO standard for computer graphics programming, the Graphical Kernel System (GKS). Expand
On the theoretical foundations of LePUS3 and its application to object-oriented design verification
TLDR
The result of this research is a powerful new rigorous design description language that can be easily extended and applied to both the theoretical investigation of object-oriented design, and practical application to the improvement and understanding of new and existing software. Expand
The role and relevance of experimentation in informatics
TLDR
The report argues for the key role of empirical research and experimentation in contemporary Informatics and recommends that professionals and students alike are well-educated in the principles of sound experimentation in InformatICS. Expand
...
1
2
3
...