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
    Nuno Moreira Macedo

    Investigador Sénior

    ViewClose Alphabet
    • a
    • b
    • c
    • d
    • e
    • f
    • g
    • h
    • i
    • j
    • k
    • l
    • m
    • n
    • o
    • p
    • q
    • r
    • s
    • t
    • u
    • v
    • w
    • x
    • y
    • z
    002

    Centros Associados

    HumanISE

    Centro

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

    HASLab

    Centro

    Laboratório de Software Confiável