Daniela Carneiro da Cruz
AuthID: R-000-PG7
12
TÃTULO: Contract-Based Slicing
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, NÚMERO: PART 1
13
TÃTULO: Exploring, visualizing and slicing the soul of XML documents Full Text
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in SAC
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in SAC
14
TÃTULO: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTORES: Beron, MM; Pereira, MJV ; Oliveira, N; Da Cruz, D;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTORES: Beron, MM; Pereira, MJV ; Oliveira, N; Da Cruz, D;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
15
TÃTULO: Influence of synchronized domain visualizations on program comprehension
AUTORES: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTORES: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
16
TÃTULO: Contract-Based Slicing Helps on Safety Reuse Full Text
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ICPC
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ICPC
17
TÃTULO: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: LDTA
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: LDTA
18
TÃTULO: Assertion-based Slicing and Slice Graphs Full Text
AUTORES: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: SEFM
AUTORES: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: SEFM
19
TÃTULO: An Attribute Grammar Specification of IIS*Case PIM Concepts
AUTORES: Ivan Lukovic; Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: ADBIS (Local Proceedings), VOLUME: 639
AUTORES: Ivan Lukovic; Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: ADBIS (Local Proceedings), VOLUME: 639
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID20
TÃTULO: A QUERY BY EXAMPLE APPROACH FOR XML QUERYING
AUTORES: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLICAÇÃO: 2009, FONTE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO
AUTORES: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLICAÇÃO: 2009, FONTE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO
INDEXADO EM: Scopus 
WOS
Scopus WOS