Computer Science as Empirical Inquiry