Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alexandra Sofia Mendes
Investigador Sénior
Publicações
Leveraging Large Language Models to Boost Dafny's Developers Productivity
Silva, A;Mendes, A;Ferreira, JF;
2024
PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024
Contract Usage and Evolution in Android Mobile Applications
Ferreira, DR;Mendes, A;Ferreira, JF;Carreira, C;
2025
39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway
bGSL: An imperative language for specification and refinement of backtracking programs
Dunne, S;Ferreira, JF;Mendes, A;Ritchie, C;Stoddart, B;Zeyda, F;
2023
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Formal Methods Teaching
Ferreira, JF;Mendes, A;Menghi, C;
2021
Lecture Notes in Computer Science
