Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

MODUS: Geração de Interfaces Gráficas baseadas em Modelos

Autor Marina Machado

Grau MSc

Instituição UM

MODUS: Geração de Interfaces Gráficas baseadas em Modelos

Autor Marina Machado

Grau MSc

Instituição INESCTEC

Qualidade de Software para o Robot Operating System

Autor Miguel Ângelo Gomes da Costa

Grau MSc

Instituição UM

Qualidade de Software para o Robot Operating System

Autor Miguel Ângelo Gomes da Costa

Grau MSc

Instituição INESCTEC

Validação do IEC 61131-3 Programmable Logical Controllers em KeyMaera

Autor Yoan David Ribeiro

Grau MSc

Instituição UM

Validação do IEC 61131-3 Programmable Logical Controllers em KeyMaera

Autor Yoan David Ribeiro

Grau MSc

Instituição FCT

Gestão e análise de eventos de segurança

Autor Bruno Miguel Pereira Andrade

Grau MSc

Instituição UM

Migration and Adaptation of User Interfaces

Autor Carlos Eduardo Silva

Grau MSc

Instituição UM

Architectural reconfiguration of interacting services

Autor Nuno Ernesto Salgado Oliveira

Grau MSc

Instituição UM

Epidemic Store for Massive Scale Systems

Autor Francisco António de Almeida Maia

Grau MSc

Instituição UM

Dependable Decentralized Storage Management for Cloud Computing

Autor João Tiago Medeiros Paulo

Grau MSc

Instituição UM

High-Assurance Model-Driven Software Development with Alloy

Autor Ana Gabriela Garis

Grau MSc

Instituição UM

  • 747
  • 804