121
TÍTULO: GuessXQ: A Query-by-Example Approach for XML Querying
AUTORES: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
INDEXADO EM: Scopus WOS
122
TÍTULO: Interactive Verification of Safety-Critical Software  Full Text
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
INDEXADO EM: Scopus WOS DBLP CrossRef
123
TÍTULO: NESSy: a New Evaluator for Software Development Tools
AUTORES: Enrique Alfredo Miranda; Mario Beron; German Montejano; Maria João Varanda Pereira; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
INDEXADO EM: Scopus DBLP
124
TÍTULO: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTORES: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
INDEXADO EM: Scopus WOS DBLP CrossRef
125
TÍTULO: Using Semantics in XML Information Access. Application to the Portuguese Emigration Museum
AUTORES: Flavio Xavier Ferreira; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Innovations in XML Applications and Metadata Management - Advancing Technologies
INDEXADO EM: CrossRef
126
TÍTULO: Using Semantics in XML Information Access: Application to the Portuguese Emigration Museum
AUTORES: Flavio Xavier Ferreira; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
INDEXADO EM: Scopus WOS
127
TÍTULO: A Comment Analysis approach for Program Comprehension
AUTORES: Jose Luis Freitas; Daniela da Cruz ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef
128
TÍTULO: Assertion-based slicing and slice graphs  Full Text
AUTORES: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
129
TÍTULO: Automatic Test Generation for Space
AUTORES: Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXADO EM: DBLP
NO MEU: DBLP
130
TÍTULO: Automatic Test Generation for Space PDF
AUTORES: Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1206.5104
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 13 de 24. Total de resultados: 240.