Cohetes espaciales y errores de software