Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de I&D em todos os Domínios Científicos - 2008

Tipos Asserção para Programação Centrada em Objectos

PTDC/EIA-CCO/105359/2008

Área Científica Principal
Engenharia Informática - Ciências da Computação
Palavras Chave
Linguagens de Programação
Lógicas e Sistemas de Tipos
Segurança em Tempo de Execução
Verificação Estática e Dinâmica
Financiamento
€ 74 175,00
Instituições
Instituição Proponente
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Instituições Participantes
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Unidade de Investigação Principal
Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)
Equipa
Investigador Responsável
Vasco Thudichum Vasconcelos
Investigadores
Maria Antónia Bacelar da Costa Lopes
Luís Manuel Marques da Costa Caires
Francisco Cipriano da Cunha Martins
Joana Correia Campos
Marco GIunti