Data | Título | Autor(es) | Tipo | Acesso |
2010 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Assertion-based slicing and slice graphs | Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
2006 | Component identification through program slicing | Barbosa, L. S.; Rodrigues, Nuno F. | Artigo | Acesso aberto |
2010 | GamaSlicer : an online laboratory for program verification and analysis | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2007 | Higher-order lazy functional slicing | Rodrigues, Nuno F.; Barbosa, L. S. | Artigo | Acesso aberto |
28-Dez-2017 | Suporte para refatorização automática de lógica de negócio baseada em modelos | Fernandes, Tiago Fernando Santos Braga | Dissertação de mestrado | Acesso aberto |