Daniela Carneiro da Cruz
AuthID: R-000-PG7
12
TITLE: Contract-Based Slicing
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 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, ISSUE: PART 1
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 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, ISSUE: PART 1
13
TITLE: Exploring, visualizing and slicing the soul of XML documents Full Text
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in SAC
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in SAC
14
TITLE: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTHORS: Beron, MM; Pereira, MJV ; Oliveira, N; Da Cruz, D;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTHORS: Beron, MM; Pereira, MJV ; Oliveira, N; Da Cruz, D;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
15
TITLE: Influence of synchronized domain visualizations on program comprehension
AUTHORS: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTHORS: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
16
TITLE: Contract-Based Slicing Helps on Safety Reuse Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ICPC
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ICPC
17
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: LDTA
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: LDTA
18
TITLE: Assertion-based Slicing and Slice Graphs Full Text
AUTHORS: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: SEFM
AUTHORS: José Bernardo Barros ; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: SEFM
19
TITLE: An Attribute Grammar Specification of IIS*Case PIM Concepts
AUTHORS: Ivan Lukovic; Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: ADBIS (Local Proceedings), VOLUME: 639
AUTHORS: Ivan Lukovic; Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: ADBIS (Local Proceedings), VOLUME: 639
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID20
TITLE: A QUERY BY EXAMPLE APPROACH FOR XML QUERYING
AUTHORS: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus 
WOS
Scopus WOS