Skip nav

Projectos de I&D

Consulta de projectos homologados

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

Empresa pela Fiabillidade em Componentes de Software Genéricas

PTDC/EIA-EIA/103103/2008

Área Científica Principal
Engenharia Informática - Engenharia Informática
Palavras Chave
Especificação formal
Programação centrada em objectos
Verificação em tempo de execução
Teste baseado em especificações
Financiamento
€ 105 000,00
Instituições
Instituição Proponente
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Instituições Participantes
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Unidade de Investigação Principal
Laboratório de Sistemas Informáticos de Grande Escala (LASIGE/FC/ULisboa)
Equipa
Investigador Responsável
Maria Antónia Bacelar da Costa Lopes
Investigadores
Vasco Thudichum Vasconcelos
Ana Cristina Ramada Paiva
João Carlos Pascoal Faria
Maria Isabel Batalha Reis Gama Nunes