Mostrar 1-20 de um total de 25 resultados.
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| 2009 | Applying program comprehension techniques to karel robot programs | Oliveira, Nuno; Henriques, Pedro Rangel; Cruz, Daniela da, 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 |
| 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 | Automatic test generation for space | Costa, Ulisses Araújo; Cruz, Daniela da; Henriques, Pedro Rangel | Artigo em ata de conferência | Acesso restrito UMinho |
| 2009 | Code analysis: past and present | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
| 2010 | Contract-based slicing | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
| 2010 | Contract-based slicing helps on safety reuse | Areias, Sérgio; Cruz, Daniela da; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
| 2013 | A flexible dynamic system for automatic grading of programming exercises | Fonte, Daniela; Cruz, Daniela da; Gançarski, Alda Lopes, et al. | Artigo em ata de conferência | 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 |
| 2011 | GammaPolarSlicer | Areias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
| 2013 | GuessXQ, a query-by-example approach for XML querying | Fonte, Daniela; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
| 2013 | Interactive verification of safety-critical software | Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso restrito UMinho |
| Set-2010 | Parser generation in Perl : an overview and available tools | Areias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
| 2011 | Parser generation in Perl: crafting an AnTLR back-end | Areias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
| Abr-2014 | Partial correctness and continuous integration in computer supported education | Fonte, Daniela; Vilas Boas, Ismael; Oliveira, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
| 2014 | Plagiarism detection: A tool survey and comparison | Martins, Vítor T.; Fonte, Daniela; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
| 2012 | Problem domain oriented approach for program comprehension | Pereira, Maria João Tinoco Varanda; Marcelo Berón, Mario; Cruz, Daniela da, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
| 2012 | Program analysis and evaluation using QUIMERA | Fonte, Daniela; Vilas Boas, Ismael; Cruz, Daniela da, et al. | Artigo em ata de conferência | Acesso aberto |
| 2008 | Properties preservation during transformation | Cruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro Rangel | Artigo em ata de conferência | Acesso aberto |
| 2009 | A query by example approach for XML querying | Ferreira, Flávio Xavier; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |
