Daniela Carneiro da Cruz
|
|
Data da última atualização
»Last update
:
05/07/2011 |
Dados pessoais (Personal data)
Nome completo
Full name |
Daniela Carneiro da Cruz |
Nome em citações bibliográficas
Quoting name |
Cruz, Daniela Carneiro da |
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 |
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). |
Lê 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)
Dissertação de Mestrado Master degree dissertation |
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).
![Homepage da produção](/wayback/20200212232257im_/http://www.degois.pt/imagens/degois/home16.png) |
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)
Visualizações do curriculum [
1361
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
12-02-2020
às
23:22:57
|
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team |
|