Mostrar 5-24 de um total de 25 resultados.
< anterior
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
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 |
2010 | Safe integration of annotated components in open source projects | Areias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo | Acesso aberto |
2012 | Verification conditions for single-assignment programs | Cruz, Daniela da; Frade, M. J.; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso restrito UMinho |
21-Out-2011 | Verification, slicing, and visualization of programs with contracts | Cruz, Daniela da | Tese de doutoramento | Acesso aberto |
2011 | A visual inspector for Boogie programs | Coelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | Artigo em ata de conferência | Acesso aberto |