DA2210 vettig19 HT19-1 Introduction to the Philosophy of Science and Research Methodology for Computer Scientists