Artefacts do not always do what they are supposed to, due to a variety of reasons, including
manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an …

The philosophy of computer science is concerned with the ontological and methodological
issues arising from within the academic discipline of computer science, and from the practice …

Software-intensive Science, and in particular the method of modelling large and complex
systems by means of computer simulation, presents acute dilemmas of epistemic trust. Some …

This paper offers a review of Giuseppe Primero's (2020) book “On the foundations of
computing”. Mathematical, engineering, and experimental foundations of the science of …

Software-intensive science (SIS) challenges in many ways our current scientific methods.
This affects significantly our notion of science and scientific interpretation of the world …

This work summarizes the main topics that have been researched in the area of software
testing under the umbrella of``Bayesian approaches''since 2010. There is a growing trend …

With the growing scientification of the discipline of digital forensics, the notion of “scientific
hypothesis” is becoming increasingly important, because all empirical science is …

This paper contributes to the computer ethics debate on software ownership protection by
examining the ontological, methodological, and ethical problems related to property right …

In this paper, we address modelling program development by multiple different
programmers (or programming teams) who work in different settings (programming …

Abstract This commentary on John Symons' and Jack Horner's paper, besides sharing its
main argument, challenges the authors' statement that there is no effective method to …