Percorrer por autor Cruz, Daniela da Subscrever estatísticas do autor Cruz, Daniela da

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 13-25 de um total de 25 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
Set-2010Parser generation in Perl : an overview and available toolsAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2011Parser generation in Perl: crafting an AnTLR back-endAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
Abr-2014Partial correctness and continuous integration in computer supported educationFonte, Daniela; Vilas Boas, Ismael; Oliveira, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
2014Plagiarism detection: A tool survey and comparisonMartins, Vítor T.; Fonte, Daniela; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2012Problem domain oriented approach for program comprehensionPereira, Maria João Tinoco Varanda; Marcelo Berón, Mario; Cruz, Daniela da, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2012Program analysis and evaluation using QUIMERAFonte, Daniela; Vilas Boas, Ismael; Cruz, Daniela da, et al.Artigo em ata de conferênciaAcesso aberto
2008Properties preservation during transformationCruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
2009A query by example approach for XML queryingFerreira, Flávio Xavier; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2010Safe integration of annotated components in open source projectsAreias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.ArtigoAcesso aberto
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
21-Out-2011Verification, slicing, and visualization of programs with contractsCruz, Daniela daTese de doutoramentoAcesso aberto
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2009Visualization of domain-specific programs' behaviorOliveira, Nuno; Pereira, Maria Joao Varanda; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 13-25 de um total de 25 resultados. < anterior