You are here

dissertação

João Martins defende dissertação de mestrado intitulada "Verificação formal de programas Ada"

A prova de Mestrado em Informática, requerida por João Pedro Marques da Silva Martins e subordinada ao tema "Verificação formal de programas Ada", realiza-se no dia 14 de dezembro de 2011 pelas 10h00, no anfiteatro A2 do Departamento de Informática.

André Carvalho defende dissertação de mestrado intitulada "Extração Automática de Modelos de Sistemas de Tempo Real"

A prova de Mestrado em Informática, requerida por André Ribeiro de Carvalho e subordinada ao tema "Extração Automática de Modelos de Sistemas de Tempo Real", realiza-se no dia 14 de dezembro de 2011 pelas 11h00, no anfiteatro A2 do Departamento de Informática.

Andrá Pedro defende dissertação de mestrado intitulada "Aprendizagem e teste de sistemas de eventos discretos estocásticos"

A prova de Mestrado em Engenharia Informática, requerida por André de Matos Pedro e subordinada ao tema "Aprendizagem e teste de sistemas de eventos discretos estocásticos", realiza-se no dia 14 de dezembro de 2011 pelas 12h00, no anfiteatro A2 do Departamento de Informática.

Roberto Machado defende dissertação de mestrado intitulada "Validação de documentos common criteria com Alloy"

A prova de Mestrado em Engenharia Informática, requerida por Roberto Manuel Dias Machado e subordinada ao tema "Validação de documentos common criteria com Alloy", realiza-se no dia 14 de dezembro de 2011 pelas 15h00, no anfiteatro A2 do Departamento de Informática.

Inês Prada defende dissertação de mestrado intitulada "Ferramentas de verificação formal de protocolos criptográficos"

A prova de Mestrado em Engenharia Informática, requerida por Inês Isabel Russo Prada e subordinada ao tema "Ferramentas de verificação formal de protocolos criptográficos", realiza-se no dia 14 de dezembro de 2011 pelas 11h00, no anfiteatro A1 do Departamento de Informática.

Tiago Veloso defende dissertação de mestrado intitulada "RAIKON: Deteção de Invariantes cruza-se com Geração Aleatória de Testes"

A prova de Mestrado em Engenharia Informática, requerida por Tiago Alves Veloso e subordinada ao tema "RAIKON: Deteção de Invariantes cruza-se com Geração Aleatória de Testes", realiza-se no dia 13 de dezembro de 2011 pelas 10h00, no anfiteatro A2 do Departamento de Informática.

André Martins defende dissertação de mestrado intitulada "Protótipo de componentes com o cálculo de QoS"

A prova de Mestrado em Informática, requerida por André Batista Martins e subordinada ao tema "Protótipo de componentes com o cálculo de QoS", realiza-se no dia 13 de dezembro de 2011 pelas 11h00, no anfiteatro A2 do Departamento de Informática.

Bruno Gomes defende dissertação de mestrado intitulada "Previsãoo de churn em companhias de seguros"

A prova de Mestrado em Informática, requerida por Bruno Miguel Viana Gomes e subordinada ao tema "Previsão de churn em companhias de seguros", realiza-se no dia 22 de dezembro de 2011 pelas 11h00, no anfiteatro A2 do Departamento de Informática.

Manuel Dias defende dissertação de mestrado intitulada "Classificação automátiica de logs"

A prova de Mestrado em Engenharia Informática, requerida por Manuel Fernando Fortuna Ribeiro Dias e subordinada ao tema "Classificação automática de logs", realiza-se no dia 22 de dezembro de 2011 pelas 12h00, no anfiteatro A2 do Departamento de Informática.

Mariana Valério de Carvalho defende dissertação de mestrado intitulada "Descoberta de padrões num sistema de certificação de empresas"

A prova de Mestrado em Engenharia Informática, requerida por Mariana Reimão Queiroga Valério de Carvalho e subordinada ao tema "Descoberta de padrões num sistema de certificação de empresas", realiza-se no dia 22 de dezembro de 2011 pelas 10h00, no anfiteatro A2 do Departamento de Informática.

Pages

início contactos RSS Feed última actualização: 16-Abr-2020 partilhar facebook
Drupal theme by pixeljets.com D7 ver.1.1