Linhas de pesquisa

Engenharia de Software Distribuído

  • Desenvolvimento de soluções de software distribuído
  • Arquitetura orientada a serviços e microsserviços
  • Frameworks, padrões, e ferramentas de suporte
  • Evolução de software

Sistemas de Software Autoadaptativos

  • Loops de controle, MAPE-K
  • Models@runtime e Scenarios@runtime
  • Inteligência artificial para Sistemas Autoadaptativos
  • Sistemas Autoadpatativos em diferentes domínios, como Cyber-physical systems, IoT, e Systems-of-systems

Mineração de Repositórios de Software

  • Extração de conhecimento de repositórios como GitHub e StackOverflow
  • Utilização de técnicas de IA para mineração de dados

Modelagem formal e Verificação de Software

  • Engenharia dirigida por modelos (Model-driven engineering – MDE)
  • Modelagem formal e verificação de software para  consumo de energia
  • Ferramentas de suporte

 

Twitter Feed GESAD