Metodologia de Pesquisa para Ciência da Computação