Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
SpecRep
Sobre o Projeto
Constraint-based Specification Repair
Acrónimo
SpecRep
Responsável
Nuno Moreira Macedo
Estado
Concluído
Início
January 1, 2022
Fim
January 31, 2023
Data efetiva de fim
January 31, 2023
Orçamento Global
49 908,00 €
Financiamento
49 908,00 €
Datasheet
--
Equipa
Centros Associados
Laboratório de Software Confiável
No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.
Computação Centrada no Humano e Ciência da Informação
O Centro de Computação Centrada no Humano e Ciências da Informação (HumanISE) integra engenheiros, cientistas e designers com competências em Computação Centrada no Humano (HCC), Ciência da Computação (CS) e Ciência da Informação (IS). A interdisciplinaridade, um dos elementos distintivos do centro, promove o desenvolvimento de sistemas de software, métodos e ferramentas que visam potenciar as pessoas e as suas comunidades. A excelência e impacto da atividade de investigação, inovação e consultoria do HumanISE permitem responder às necessidades crescentes de elevada complexidade, volatilidade, heterogeneidade, ambiguidade, incerteza, conformidade com normas e enquadramentos legais, éticos e organizacionais. A transferência de valor ocorre em estreita colaboração com parceiros académicos e empresariais. As principais áreas de investigação do HumanISE são: Interação Pessoa-Computador; Computação Gráfica e Media Digital Interativa; Gestão da Informação e Sistemas de Informação; Engenharia de Software; e Sistemas Computacionais de Grande Escala e Propósito Específico, Linguagens e Ferramentas; Computação para Sistemas Embebidos e Ciberfísicos. O HumanISE conta também com áreas de inovação: Ciências da Terra, dos Oceanos e do Espaço (EOSS); Investigação Personalizada no Domínio da Saúde; Engenharia de Sistemas de Informação Geoespacial; e Sistemas de Informação e Computação Aplicada.
