Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
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.
Projetos
NanoStima-RL1
O projeto NanoSTIMA vai procurar dar resposta a dois grandes desafios: por um lado a passagem de tecnologias sensoras macro, utilizadas atualmente, para tecnologias micro e nano, que desempenharão um papel fundamental no setor da saúde e bem-estar; por outro lado, a gestão das enormes quantidades de informação que estes sensores vestíveis e implantáveis vão gerar, integrando-a com dados de outras fontes, tais como registos médicos, dados genéticos, ou mesmo redes sociais. A linha de investigação 1 deste projeto vai ser desenvolvida por dois centros: o C-BER e o CAP.
SAFER
O projeto SAFER pretende desenvolver técnicas no contexto de ROS. Para facilitar a integração e adoção pela comunidade robótica, o projeto vai desenvolver técnicas que funcionarão a partir do código fonte e serão apoiadas por ferramentas de verificação automatizada.
Publicações
Validating multiple variants of an automotive light system with Alloy 6
Cunha, A;Macedo, N;Liu, C;
2024
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Assessing the impact of hints in learning formal specification
Cunha, A;Macedo, N;Campos, JC;Margolis, I;Sousa, E;
2024
2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024
A relational approach to bidirectional transformation
Macedo, N;
2014
Exploring Automatic Specification Repair in Dafny Programs
Abreu, A;Macedo, N;Mendes, A;
2023
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW
Teses Supervisionadas
Digital Twin of Reconfigurable Printed IoT Nodes using ns-3
Tiago da Silva Ribeiro
M - 2023
UP-FEUP
