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