A Taxonomy for Computer Science