Data | Título | Autor(es) | Tipo | Acesso |
Mai-2021 | A deductive reasoning approach for database applications using verification conditions | Alam, Imran; Halder, Raju; Pinto, Jorge Sousa | Artigo | Acesso restrito UMinho |
2016 | Evaluating refactorings for spreadsheet models | Cunha, Jácome; Fernandes, João Paulo; Martins, Pedro, et al. | Artigo | Acesso restrito UMinho |
2015 | From source code identifiers to natural language terms | Carvalho, Nuno Alexandre Ramos; Almeida, J. J.; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
Mar-2015 | Quantifying usability of domain-specific languages: An empirical study on software maintenance | Albuquerque, Diego; Cafeo, Bruno; Garcia, Alessandro, et al. | Artigo | Acesso aberto |
2020 | SPELLing out energy leaks: Aiding developers locate energy inefficient code | Pereira, Rui Alexandre Afonso; Carção, Tiago Alves; Couto, Marco Domingos Mendes, et al. | Artigo | Acesso aberto |