Percorrer por 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 1-20 de um total de 21 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2012Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.articleopenAccess
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.conferencePaperopenAccess
2012Automatic test generation for spaceCosta, Ulisses Araújo; Cruz, Daniela da; Henriques, Pedro RangelconferencePaperrestrictedAccess
2009Code analysis: past and presentCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperopenAccess
2010Contract-based slicingCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperopenAccess
16-Ago-2011Contract-based slicing helps on safety reuseAreias, Sérgio; Cruz, Daniela da; Pinto, Jorge SousaconferencePaperopenAccess
2010GamaSlicer : an online laboratory for program verification and analysisCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperopenAccess
2011GammaPolarSlicerAreias, Sérgio; Cruz, Daniela da; Rangel Henriques, Pedro Rangel, et al.articleopenAccess
2012GuessXQ, a query-by-example approach for XML queryingFonte, Daniela; Cruz, Daniela da; Henriques, Pedro Rangel, et al.bookPartrestrictedAccess
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaconferencePaperrestrictedAccess
Set-2010Parser generation in Perl : an overview and available toolsAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.conferencePaperopenAccess
2011Parser generation in Perl : crafting an AnTLR back-endAreias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al.conferenceObjectopenAccess
Abr-2014Partial correctness and continuous integration in computer supported educationFonte, Daniela; Vilas Boas, Ismael; Oliveira, Nuno, et al.conferencePaperopenAccess
2012Problem domain oriented approach for program comprehensionPereira, Maria João Tinoco Varanda; Marcelo Berón, Mario; Cruz, Daniela da, et al.conferencePaperrestrictedAccess
2012Program analysis and evaluation using QUIMERAFonte, Daniela; Vilas Boas, Ismael; Cruz, Daniela da, et al.conferencePaperopenAccess
2008Properties preservation during transformationCruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro RangelconferenceObjectopenAccess
2010Safe integration of annotated components in open source projectsAreias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.articleopenAccess
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaconferencePaperrestrictedAccess
21-Out-2011Verification, slicing, and visualization of programs with contractsCruz, Daniela dadoctoralThesisopenAccess
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.conferencePaperopenAccess