Cidades inteligentes como ambientes para inovação nos serviços urbanos: proposta de software para integrar a inteligência da cidade, das coisas e dos cidadãos