@inproceedings{bcb24d7e37664124947814875519c3eb,
title = "Defects, scientific computation and the scientific method",
abstract = "Computation has rapidly grown in the last 50 years so that in many scientific areas it is the dominant partner in the practice of science. Unfortunately, unlike the experimental sciences, it does not adhere well to the principles of the scientific method as espoused by for example, the philosopher Karl Popper. Such principles are built around the notions of deniability and reproducibility. Although much research effort has been spent on measuring the density of software defects, much less has been spent on the more difficult problem of measuring their effect on the output of a program. This paper explores these issues with numerous examples suggesting how this situation might be improved to match the demands of modern science. Finally it develops a theoretical model based on Shannon information which suggests that software systems have strong implementation independent behaviour and presents supporting evidence.",
keywords = "Computer science and informatics",
author = "Les Hatton",
year = "2012",
month = aug,
doi = "10.1007/978-3-642-32677-6\_8",
language = "English",
isbn = "9783642326769",
volume = "377",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer",
pages = "123--138",
editor = "Dienstfrey, \{A. M.\} and Boisvert, \{R. F.\}",
booktitle = "Uncertainty quantification in scientific computing",
address = "Germany",
note = "10th IFIP WG 2.5 Working Conference ; Conference date: 01-08-2011 Through 04-08-2011",
}