You are here

dissertação

José Freitas defende dissertação de mestrado intitulada "Análise de comentários na compreensão de programas"

A prova de Mestrado em Engenharia Informática, requerida por José Luís Figueiredo de Freitas e subordinada ao tema "Análise de comentários na compreensão de programas", realiza-se no dia 15 de dezembro de 2011 pelas 14h30, no anfiteatro A2 do Departamento de Informática.

Márcio Coelho defende dissertação de mestrado intitulada "GamaBoogie: A contract-based slicer for Boogie programs"

A prova de Mestrado em Engenharia Informática, requerida por Márcio João Carvalho Coelho e subordinada ao tema "GamaBoogie: A contract-based slicer for Boogie programs", realiza-se no dia 15 de dezembro de 2011 pelas 15h30, no anfiteatro A2 do Departamento de Informática.

Pedro Ribeiro defende dissertação de mestrado intitulada "Voodoo: um sistema para crianças que permite a criação de filmes de animação através de figuras de ação como interface"

A prova de Mestrado em Engenharia Informática, requerida por Pedro do Rêgo Ribeiro e subordinada ao tema "Voodoo: um sistema para crianças que permite a criação de filmes de animação através de figuras de ação como interface", realiza-se no dia 19 de dezembro de 2011 pelas 11h00, no anfiteatro A2 do Departamento de Informática.

Pedro Soares defende dissertação de mestrado intitulada "Componente de visão por computador para rastreamento de ambientes"

A prova de Mestrado em Engenharia Informática, requerida por Pedro Emanuel Pereira Soares e subordinada ao tema "Componente de visão por computador para rastreamento de ambientes", realiza-se no dia 19 de dezembro de 2011 pelas 10h00, no anfiteatro A2 do Departamento de Informática.

Mário Eiras defende dissertação de mestrado intitulada "Formalizando Alloy com uma tradução para Isabelle/HOL"

A prova de Mestrado em Engenharia Informática, requerida por Mário André Barbosa Eiras e subordinada ao tema "Formalizando Alloy com uma tradução para Isabelle/HOL", realiza-se no dia 14 de dezembro de 2011 pelas 16h00, no anfiteatro A2 do Departamento de Informática.

Ricardo Romano defende dissertação de mestrado intitulada "Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK"

A prova de Mestrado em Engenharia Informática, requerida por Ricardo Jorge Cantador Romano e subordinada ao tema "Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK", realiza-se no dia 14 de dezembro de 2011 pelas 12h00, no anfiteatro A1 do Departamento de Informática.

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.

Pages

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