Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
SpecRep
Sobre o Projeto
Constraint-based Specification Repair
Acrónimo
SpecRep
Responsável
Nuno Filipe Moreira Macedo
Estado
Concluído
Início
January 1, 2022
Fim
January 31, 2023
Data efectiva de fim
January 31, 2023
Orçamento Global
49 908,00 €
Financiamento
49 908,00 €
Equipa
Líderes de Equipa
Nuno Moreira Macedo
Investigador Sénior
Sou professor auxiliar no Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Universidade do Porto (FEUP), Portugal, e investigador sénior no HASLab, a unidade do INESC TEC focada do desenvolvimento de software confiável, onde desenvolvo, ensino e aplico técnicas formais à engenharia de software.
A minha investigação foca-se na concepção de software confiável, particularmente na aplicação de técnicas formais "lightweight" à concepção de software baseadas em "model check" e "model finding". Faço parte da equipa que mantém o Alloy 6 e o seu Analyzer, uma ferramenta para analisar modelos de software. Adaptei também esse tipo de técnicas ao domínio da robótica para promover o desenvolvimento de software robótico confiável, assim como é projetos de transferência de conhecimento e de consultadoria.
As minhas atividades letivas focam-se no ensino de linguagens de programação e de métodos formais na engenharia de software. Nesse contexto, mantenho também o Alloy4Fun, uma plataforma para apoiar o ensino de Alloy.
Ana Cristina Paiva
Investigador Sénior
A Ana Paiva (publica como Ana C. R. Paiva) é Professora Auxiliar no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, onde trabalha desde 1999. Ela é investigadora no INESC TEC na área de Engenharia de Software e membro do Grupo de Engenharia de Software que reúne investigadores e pós-graduados com interesses comuns em Engenharia de Software. É responsável por unidades curriculares como Teste de Software, Métodos Formais e Engenharia de Software, entre outras. Tem um doutoramento em Engenharia Electrotécnica e Computadores da FEUP, com uma tese intitulada Automated Specification Based Testing of Graphical User Interfaces. A sua especialidade é a implementação e automação do processo de teste baseado em modelos. Desenvolveu trabalho de investigação em colaboração com o grupo FSE (Foundation of Software Engineering) da Microsoft Research, onde teve a oportunidade de estender a ferramenta de testes da Microsoft baseada em modelo, Spec Explorer, para o teste de GUIs. É a investigadora responsável de um projeto financiado pela FCT com o tema Pattern-Based Testing GUI (PBGT). Pertence à Assemblia Geral da PSTQB (Associação Portuguesa de Testes de Software), é membro dos grupos internacionais de trabalho do ISTQB: TBok, Glossary, MBT Examination, membro do Conselho do Departamento de Engenharia Informática, e membro da Comissão Executiva do Departamento de Engenharia Informática.
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.
