Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alexandra Sofia Mendes
Investigador Sénior
Projetos
PassCert
O PassCert vai criar um gestor de passwords que, através do uso de verificação formal, garante propriedades de segurança sobre o armazenamento de dados e geração de passwords.
SpecRep
O projeto SpecRep pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.
Publicações
How are Contracts Used in Android Mobile Applications?
Ferreira, DR;Mendes, A;Ferreira, JF;
2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
Saavedra, N;Gonçalves, J;Henriques, M;Ferreira, JF;Mendes, A;
2023
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
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;
2024
CoRR
