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
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 Orientadas
Digital Twin of Reconfigurable Printed IoT Nodes using ns-3
Tiago da Silva Ribeiro
M - 2023
UP-FEUP
