Curriculum Vitae

Daniela Carneiro da Cruz

Data da última atualização »Last update : 05/07/2011


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


Dados pessoais (Personal data)
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




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





Vínculos profissionais (Professional Positions)
Instituto Politécnico do Cávado e do Ave
Mar/2010-Set/2010 Assistente

Universidade do Minho
Out/2006-Set/2007 Leitor





Línguas (Languages)
Compreende
Understandig
Português (Bem), Inglês (Bem), Japonês (Razoavelmente).
Fala
Speaking
Português (Bem), Inglês (Bem), Japonês (Razoavelmente).

Reading
Português (Bem), Inglês (Bem), Japonês (Razoavelmente).
Escreve
Writing
Português (Bem), Inglês (Bem), Japonês (Razoavelmente).




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
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.





Dados Complementares (Additional data)


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).







Indicadores de produção (Production indicators)

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


Visualizações do curriculum [ 1488 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 17-01-2021 às 11:55:49
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (1)
 Co-authors listed in Degóis