Tarciana Dias da Silva

  • Endereço para acessar este CV: http://lattes.cnpq.br/6930023635739057
  • Última atualização do currículo em 06/08/2018


Tarciana Dias da Silva possui graduação (2006), mestrado (2008) e doutorado (2017) em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE). É docente do curso de Engenharia da Computação da Escola Politécnica de Pernambuco (Poli/UPE). Também trabalha como analista de sistemas no TJPE, atualmente na área de testes de software, tendo também já atuado como analista de negócios e requisitos, gerente de projetos e projetista de sistemas. Tem experiência de pesquisa na área de Ciência da Computação, com ênfase em métodos formais/validação de especificaçôes de transformação de programas (no doutorado) e sistemas distribuídos (no mestrado e graduação). Atualmente, a principal área de interesse é Engenharia de Software, com ênfase em Métodos Formais e Testes, Verificação e Validação de Programas. (Texto informado pelo autor)


Identificação


Nome
Tarciana Dias da Silva
Nome em citações bibliográficas
SILVA, Tarciana Dias da;SILVA, TARCIANA;da Silva, Tarciana Dias

Endereço


Endereço Profissional
Tribunal de Justiça do Estado de Pernambuco.
Avenida Martins de Barros
Santo Antônio
50010230 - Recife, PE - Brasil
Telefone: (81) 8134193787
Fax: (81) 34193787


Formação acadêmica/titulação


2012 - 2017
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Validating Transformations of OO Programs Using the Alloy Analyzer, Ano de obtenção: 2017.
Orientador: Augusto Cezar Alves Sampaio.
Coorientador: Alexandre Cabral Mota.
Palavras-chave: Métodos Formais; Validação; Transformação de Programas; Alloy.
Grande área: Ciências Exatas e da Terra
2006 - 2008
Mestrado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: DDAN: An Distributed Directory for Ambient Networks,Ano de Obtenção: 2008.
Orientador: Djamel Fawzi Hadj Sadok.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Diretórios Distribuídos; Redes de Ambiente; Consultas flexíveis - armazenamento de informações.
Grande área: Ciências Exatas e da Terra
2001 - 2005
Graduação em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Estruturação de Dados em Redes P2P baseadas em DHT.
Orientador: Djamel Sadok.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Atuação Profissional



Universidade de Pernambuco, UPE, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor


Tribunal de Justiça do Estado de Pernambuco, TJ/PE, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 30
Outras informações
Atua como analista de sistemas/coordenadora de projetos.


Instituto Nokia de Tecnologia, INDT, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44


Grupo de Pesquisa Em Redes e Telecomunicações, GPRT, Brasil.
Vínculo institucional

2003 - 2008
Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 30
Outras informações
PROJETOS: 1) Grupo de Trabalho em Computação Colaborativa (GT-P2P) - (Duração: Setembro, 2003 a Novembro, 2004) - (Tecnologias envolvidas: Java e XML): Atuei no desenvolvimento do framework denominado XPeer que tinha por base dar suporte a aplicações P2P. Também participei do desenvolvimento de aplicações P2P que pudessem validar o framework construído. O projeto foi apresentado durante o SBRC 2004 (Simpósio Brasileiro de Redes de Computadores). 2)Controlador Remoto de Dados de Oscilografia - (Duração: Novembro, 2004 a Julho, 2006) - (Tecnologias envolvidas: C#, C++, Asp.net, Sql Server 2000): O projeto teve como objetivo o desenvolvimento de um sistema integrado de coleta, classificação e apresentação de dados, que são gerados por equipamentos de sistemas de oscilografia responsáveis pelo monitoramento de perturbações na rede elétrica e, por conseqüência, nos elementos que compõem a rede elétrica. Atuei no desenvolvimento do projeto como um todo participando tanto da elaboração dos documentos, como também da modelagem dos dados no banco de dados do sistema, e também do desenvolvimento de muitos módulos, inclusive do sistema web como um todo que foi destinado para facilitar o trabalho dos engenheiros da Chesf. 3)Roteamento para Redes de Ambiente (Redes Dinâmicas) - (Duração: Agosto, 2006 até setembro, 2008) - (Tecnologias envolvidas: Verificação formal da especificação do sistema, Simuladores de redes como OMNet++, C++): Projeto que visa a pesquisa e desenvolvimento de tecnologias para redes (além do escopo abrangido pelas redes 3G) que sejam self-aware, auto-configuráveis, e protocolos de roteamento para serem aplicados nelas.


Universidade Salgado de Oliveira, UNIVERSO, Brasil.
Vínculo institucional

2008 - 2008
Vínculo: Celetista formal, Enquadramento Funcional: Professor efetivo, Carga horária: 10
Outras informações
Professora dos cursos de análise e desenvolvimento de sistemas e redes de computadores, tendo lecionado as disciplinas de sistemas distribuídos e sistemas operacionais.


Faculdade de Filosofia Ciências e Letras de Caruaru, FAFICA, Brasil.
Vínculo institucional

2008 - 2008
Vínculo: Celetista formal, Enquadramento Funcional: Professor Efetivo, Carga horária: 12
Outras informações
Professora do curso de análise e desenvolvimento de sistemas, tendo lecionado as seguintes disciplinas: Algoritmos, Linguagem de Programação Orientada a Objetos e Sistemas Operacionais.


FAREC, FAREC, Brasil.
Vínculo institucional

2009 - 2010
Vínculo: Celetista formal, Enquadramento Funcional: Professor efetivo, Carga horária: 3
Outras informações
Professora titular do curso de ciência da computação, disciplina lecionada: Linguagem de Programação Estruturada utilizando C#.


UNIBRATEC, UNIBRATEC, Brasil.
Vínculo institucional

2010 - 2010
Vínculo: Celetista formal, Enquadramento Funcional: Professor Efetivo, Carga horária: 6
Outras informações
Professora do curso de tecnologia em redes de computadores, disciplina lecionada: Princípios de Redes de Computadores.



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais e Testes.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Especificação e projeto de sistemas.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de sistemas.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Redes e Sistemas Distribuídos.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1SILVA, TARCIANA2014SILVA, TARCIANA; KAMIENSKI, CARLOS ; FERNANDES, STENIO ; SADOK, DJAMEL . A flexible DHT-based directory service for information management. Peer-to-Peer Networking and Applications, v. 8, p. 512-531, 2014.

2.
2Auristela Silva2008 Auristela Silva ; SILVA, Tarciana Dias da ; Reinaldo Gomes ; Luciana Oliveira ; Igor Cananéa ; Djamel Sadok ; Martin Johnsson . Routing Solutions for Future Dynamic Networks. Routing Solutions for Future Dynamic Networks, v. 1, p. 212-217, 2008.

Capítulos de livros publicados
1.
da Silva, Tarciana Dias; Sampaio, Augusto ; Mota, Alexandre . Verifying Transformations of Java Programs Using Alloy. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9526, p. 110-126.

2.
Auristela Silva ; SILVA, Tarciana Dias da ; Luciana Oliveira ; Reinaldo Gomes ; Igor Cananéa ; Djamel Sadok ; Martin Johnsson . OSPF-AN: An Intra Domain Routing Protocol for Ambient Networks. IP Operations and Management/ Book Series: Lecture Notes in Computer Science. : Springer Berlin / Heidelberg, 2007, v. 4786, p. 188-191.

Trabalhos completos publicados em anais de congressos
1.
SILVA, Tarciana Dias da; FERNANDES, S. ; KAMIENSKI, C. A. ; Djamel Sadok . GD2: Um Serviço de Diretórios P2P para Gerenciamento de Informações em Redes Heterogêneas. In: XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2012, Ouro Preto, MG. Anais SBRC 2012, Trilha Principal, Sessão técnica 4 (ST4), 2012. v. 1. p. 189-202.

2.
Márcio Bueno ; Djamel Sadok ; Luís Eduardo ; SILVA, Tarciana Dias da ; M. M. S. Lira ; Júlio Leitão . Controlador Remoto de Dados de Oscilografia. In: Encontro Regional Ibero-Americano do CIGRÉ, 2007, Foz do Iguaçu. XII ERIAC ? 12º Encontro Regional Ibero-Americano do CIGRÉ, 2007.

3.
SILVA, Tarciana Dias da; Luciana Oliveira ; Marco Domingues ; Judith Kelner ; Djamel Sadok . GRRA: Uma Ferramenta para Gerenciamento de Redes Utilizando Realidade Aumentada. In: Salão de Ferramentas do SBRC 2007, 2007, Belém. Salão de Ferramentas SBRC 2007 - Gerenciamento e Operações de Rede, 2007. v. 2. p. 1173-1180.

4.
SILVA, Tarciana Dias da; Ramide Dantas ; Djamel Sadok . Implementação de Mecanismos de Indexação para Consultas Avançadas em DHT. In: Workshop de Redes Peer-to-peer do SBRC, 2006, Curitiba. Anais do II Workshop de Redes Peer-to-Peer do SBRC, 2006.

5.
SILVA, Tarciana Dias da. Sistema de XPeers e Aplicações para XPeer para Dispositivos Desktop e Móveis. In: VI Congresso de Ensino, Pesquisa e Extensão, 2005, Recife. Anais do VI Congresso de Ensino, Pesquisa e Extensão, 2005.

6.
SILVA, Tarciana Dias da. Componente de Comunicação para o projeto XPeer. In: V Congresso de Ensino, Pesquisa e Extensão, 2004, Recife. Anais do V Congresso de Pesquisa, Ensino e Extensão, 2004.

Resumos expandidos publicados em anais de congressos
1.
Gustavo Carvalho ; SILVA, Tarciana Dias da ; Alexandre Mota ; Augusto Sampaio . Analytical Comparison of Refinement Checkers. In: Simpósio Brasileiro de Métodos Formais - SBMF, 2011, São Paulo. Simpósio Brasileiro de Métodos Formais - SBMF, 2011.

Apresentações de Trabalho
1.
SILVA, Tarciana Dias da; Luciana Oliveira ; Marco Domingues ; Judith Kelner ; Djamel Sadok . GRRA: Uma Ferramenta para Gerenciamento de Redes Utilizando Realidade Aumentada. 2007. (Apresentação de Trabalho/Congresso).

2.
SILVA, Tarciana Dias da; Ramide Dantas ; Djamel Sadok . Implementação de Mecanismos de Indexação para Consultas Avançadas em DHT. 2006. (Apresentação de Trabalho/Congresso).

3.
SILVA, Tarciana Dias da. Sistema de XPeers e Aplicações para XPeer para Dispositivos Desktop e Móveis. 2005. (Apresentação de Trabalho/Congresso).

4.
SILVA, Tarciana Dias da. Componente de Comunicação para o projeto XPeer. 2004. (Apresentação de Trabalho/Congresso).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
FERREIRA, R.; LENCASTRE, M.; SILVA, Tarciana Dias da. Participação em banca de Rafael Ferreira.Uma proposta de transformação auomatizada para geração de programas paralelos a partir de leis algébricas aplicadas a programas sequenciais. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

2.
TAVARES, R. S.; GOMES, G.; SILVA, Tarciana Dias da. Participação em banca de Romero de Sousa Tavares.Técnicas de Avaliação de Usabilidade em Processos de Desenvolvimento: Estudo de Caso de um Sistema de Gestão de Energia. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

3.
CORREA, E. D.; SILVA, Tarciana Dias da. Participação em banca de Eduardo Delai Correa.Análise das técnicas de Identificação de Profissionais e Formação de Equipes no Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

4.
PEREIRA, R. M. C.; GOMES, G.; SILVA, Tarciana Dias da. Participação em banca de RODRIGO MENDES DE CARVALHO PEREIRA.Proposta de um jogo social como agente de inovação e educação empreendedora. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.

5.
SILVA, Tarciana Dias da. Participação em banca de Ed da Costa e Silva Prado.Solução para Cardápios de Restaurantes Utilizando Realidade Aumentada em Dispositivos Google Android. 2010. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Simpósio Brasileiro de Redes de Computadores (SBRC).GRRA: Ferramenta para Gerenciamento de Redes Utilizando Realidade Aumentada. 2007. (Simpósio).

2.
Simpósio Brasileiro de Redes de Computadores (SBRC).Implementação de um Mecanismo de Indexação para Consultas Avançadas em DHT. 2006. (Simpósio).

3.
Simpósio Brasileiro de Redes de Computadores (SBRC). 2005. (Simpósio).

4.
VI CEPE (Congresso de Ensino, Pesquisa e Extensão da UFPE). Sistema de XPeers e Aplicações para XPeer para Dispositivos Desktop e Móveis. 2005. (Congresso).

5.
Simpósio Brasileiro de Computação. 2004. (Simpósio).

6.
Simpósio Brasileiro de Redes de Computadores (SBRC). 2004. (Simpósio).

7.
V CEPE (Congresso de Ensino, Pesquisa e Extensão da UFPE). Componente de Comunicação para o Projeto X-Peer. 2004. (Congresso).



Orientações



Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Napoleão Borges. A implantação de uma Central de Serviços baseada nas melhores práticas da ITIL: Um estudo de caso. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco. (Orientador).

2.
Carlos Henrique Rocha Moreira. Engenharia Social em Ambientes Informatizados: Estudos de Caso. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Rafael Ferreira. Uma proposta de transformação auomatizada para geração de programas paralelos a partir de leis algébricas aplicadas a programas sequenciais. 2012. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tarciana Dias da Silva.

2.
Eduardo Delai Correa. Análise das técnicas de identificação de profissionais e formação de equipes no desenvolvimento de software. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade de Pernambuco. Orientador: Tarciana Dias da Silva.



Outras informações relevantes


INICIAÇÃO CIENTÍFICA:

Bolsista FACEPE ? PIBIC ? CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico) desde agosto de 2005 até fevereiro 2006 no projeto Controlador Remoto de Dados de Oscilografia, orientada pela professora Judith Kelner;

Bolsista da Microsoft Corporation de setembro de 2004 a setembro de 2005, participando de projetos de pesquisa na área de Linguagens de Programação e Compiladores, orientada pelo professor André Santos. Inicialmente comecei trabalhando no projeto Haskell.NET (www.cin.ufpe.br/~haskell/haskelldotnet) e depois migrei para o projeto Visual Haskell Studio (www.cin.ufpe.br/~haskell/vhs). Ambos consistem na integração da linguagem de programação funcional Haskell ao ambiente .NET e ao Visual Studio.NET, estimulando-se assim a utilização da mesma pelos desenvolvedores de sistemas atuais;

Bolsista PIBIC - CNPq de 01 de agosto de 2004 a 31 de julho de 2005 no projeto Computação Colaborativa ? Redes P2P, na área de Redes de Computadores, orientada pela professora Judith Kelner. Para mais informações: http://www.gprt.ufpe.br/~gtp2p;

Bolsista PIBIC - CNPq de 01 de agosto de 2003 a 31 de julho de 2004 no projeto QoSWare ? Gerenciamento de QoS no Middleware para Aplicações em Tempo Real, na área de Redes de Computadores, orientada pela professora Judith Kelner.

MONITORIA:
Durante o semestre de 2003.1, fui monitora oficial pela PROACAD (Pró-reitoria para Assuntos Acadêmicos) da disciplina Infra-Estrutura de Hardware, disciplina lecionada pela professora Edna Barros durante o 3º período do curso de Ciência da Computação.



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 23:34:53