Formalização de Heurísticas para o Apoio a Modelagem de Sistemas Orientados a Objetos.