DA2210 vettig18 HT18-1 Introduction to the Philosophy of Science and Research Methodology for Computer Scientists