Data | Título | Autor(es) | Tipo | Acesso |
6-Jan-2015 | Catálogo de usability smells | Almeida, Diogo Francisco de Carvalho | Dissertação de mestrado | Acesso aberto |
2010 | Certification of open-source software : a role for formal methods? | Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al. | Artigo | Acesso aberto |
2023 | Continuous inspection of software quality in an automotive project | Ferreira, Ana Margarida; Brito, Miguel A.; Lima, José | Artigo em ata de conferência | Acesso restrito UMinho |
Set-2016 | Formal verification with Frama-C: a case study in the space software domain | Silva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al. | Artigo | Acesso restrito UMinho |
Mar-2013 | Open source software documentation mining for quality assessment | Carvalho, Nuno; Simões, Alberto; Almeida, J. J. | Artigo em ata de conferência | Acesso aberto |
Set-2011 | A software platform for evolutionary computation with pluggable parallelism and quality assurance | Evangelista, Pedro; Gonçalves, Emanuel; Sobral, João Luís Ferreira, et al. | Artigo em ata de conferência | Acesso aberto |
Mar-2019 | Static-Time extraction and analysis of the ROS computation graph | Santos, André Fernandes; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |