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
Descrição

Constraint-based Specification Repair

O projeto SpecRep pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.

Detalhes

Mais Informação

  • Acrónimo

    SpecRep
  • Início

    01 janeiro 2022
  • Orçamento global

    49.908,00 €
  • Estado

    Completo
  • Data de encerramento

    31 dezembro 2023
  • Fim

    31 dezembro 2023
  • Responsável

    Nuno Moreira Macedo
  • Financiamento

    49.908,00 €
  • Financiado por

Equipa
002

Centros Associados

HumanISE

Centro

Computação Centrada no Humano e Ciência da Informação

HASLab

Centro

Laboratório de Software Confiável