Daniela Carneiro da Cruz. É da Universidade do Minho. Publicou 6 trabalhos em actas de eventos. Nas suas actividades profissionais interagiu com 14 colaboradores em co-autorias de trabalhos científicos.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=8183893861341997

Nome completo Full name	Daniela Carneiro da Cruz
Nome em citações bibliográficas Quoting name	Cruz, Daniela Carneiro da

Endereço profissional Professional address

Universidade do Minho Escola de Engenharia Centro de Ciências e Tecnologias da Computação (CCTC) Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604470 Fax: (+351)253604471 Correio electrónico: danieladacruz@di.uminho.pt Homepage: http://alfa.di.uminho.pt/~danieladacruz

Sexo Gender

Feminino»Female

2002-2007	Licenciatura Licentiate degree
Matemática e Ciências da Computação (5 anos » years) . Universidade do Minho, Portugal.

Instituto Politécnico do Cávado e do Ave

Mar/2010-Set/2010

Assistente

Universidade do Minho

Out/2006-Set/2007

Leitor

Compreende Understandig	Português (Bem), Inglês (Bem), Japonês (Razoavelmente).
Fala Speaking	Português (Bem), Inglês (Bem), Japonês (Razoavelmente).
Lê Reading	Português (Bem), Inglês (Bem), Japonês (Razoavelmente).
Escreve Writing	Português (Bem), Inglês (Bem), Japonês (Razoavelmente).

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Barros, Jose B; da Cruz, D; Henriques, Pedro R; Pinto, Jorge S. 2010. "Assertion-based Slicing and Slice Graphs", Trabalho apresentado em 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), In 2010 8th IEEE International Conference on Software Engineering and Formal Methods, Pisa, Italy.

2.	Areias, Sérgio; da Cruz, D; Pinto, Jorge S. 2010. "Contract-Based Slicing Helps on Safety Reuse", Trabalho apresentado em 2010 IEEE 18th International Conference on Program Comprehension (ICPC), In 2010 IEEE 18th International Conference on Program Comprehension, Braga, Portugal.

3.	Berón, Mario M; Pereira, Maria J. V; Oliveira, Nuno; da Cruz, D. 2010. "SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains", Trabalho apresentado em 2010 IEEE 18th International Conference on Program Comprehension (ICPC), In 2010 IEEE 18th International Conference on Program Comprehension, Braga, Portugal.

4.	da Cruz, D; Henriques, Pedro R. 2010. "Exploring, visualizing and slicing the soul of XML documents", Trabalho apresentado em the 2010 ACM Symposium, In Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10, Sierre, Switzerland.

5.	Oliveira, Nuno; Pereira, Maria J. V; da Cruz, D; Berón, Mario. 2010. "Influence of Synchronized Domain Visualizations on Program Comprehension", Trabalho apresentado em 2010 IEEE 18th International Conference on Program Comprehension (ICPC), In 2010 IEEE 18th International Conference on Program Comprehension, Braga, Portugal.

6.	Oliveira, Nuno; Henriques, Pedro R; da Cruz, D; Varanda Pereira, M. J; Mernik, Marjan; Kosar, Tomaz; Crepinsek, Matej. 2009. "Applying program comprehension techniques to karel robot programs", Trabalho apresentado em 2009 International Multiconference on Computer Science and Information Technology (IMCSIT), In 2009 International Multiconference on Computer Science and Information Technology, Mragowo, Poland.

Orientações Orientations

Orientações Orientations

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Sérgio Areias, Contracts and Slicing for Safety Reuse, 2010. Dissertação (Matemática e Ciências da Computação) - Universidade do Minho (Co-orientador).

Em curso Ongoing

1.	Carlos Miguel Regedor Torres , Analyzing and Measuring Open-Source projects, 2011. Dissertação (Matemática e Ciências da Computação) - Universidade do Minho (Co-orientador).

2.	José Luís Freitas, Comment Analysis for Program Comprehension, 2011. Dissertação (Matemática e Ciências da Computação) - Universidade do Minho (Co-orientador).

3.	Márcio Coelho, A Contract-based Slicer for Boogie Programs, 2011. Dissertação (Matemática e Ciências da Computação) - Universidade do Minho (Co-orientador).

Produção científica Scientific production

Dados complementares data

Total

Produção científica Scientific production

6

Trabalhos em eventos Papers in conference proceedings

6

Sem arbitragem científica Without scientific refereeing

6

Total

Dados complementares (Additional data)

4

Orientações Orientations

4

Jorge Miguel de Matos Sousa Pinto