Type Permanente Research lines Modelagem de Sistemas Computacionais Research groups - Lattes Orcid Scopus Google Scholar