Tarciana Dias da Silva

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.

Informações coletadas do Lattes em 01/01/2026

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2012 - 2017

Universidade Federal de Pernambuco
Título: Validating Transformations of OO Programs Using the Alloy Analyzer
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

Mestrado em Ciência da Computação

2006 - 2008

Universidade Federal de Pernambuco
Título: DDAN: An Distributed Directory for Ambient Networks,Ano de Obtenção: 2008
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

Graduação em Ciência da Computação

2001 - 2005

Universidade Federal de Pernambuco
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.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais e Testes.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Especificação e projeto de sistemas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de sistemas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Redes e Sistemas Distribuídos.

Participação em eventos

Simpósio Brasileiro de Redes de Computadores (SBRC).GRRA: Ferramenta para Gerenciamento de Redes Utilizando Realidade Aumentada. 2007. (Simpósio).

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

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

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

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

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

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

Participação em bancas

Aluno: Rafael Ferreira

FERREIRA, R.; LENCASTRE, M.;SILVA, Tarciana Dias da. 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.

Aluno: Romero de Sousa Tavares

TAVARES, R. S.; GOMES, G.;SILVA, Tarciana Dias da. 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.

Aluno: Eduardo Delai Correa

CORREA, E. D.;SILVA, Tarciana Dias da. 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.

Aluno: Rodrigo Mendes de Carvalho Pereira

PEREIRA, R. M. C.; GOMES, G.;SILVA, Tarciana Dias da. 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.

Aluno: Ed da Costa e Silva Prado

SILVA, Tarciana Dias da. 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.

Orientou

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

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

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;

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;

Produções bibliográficas

2014 SILVA, 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.
2008 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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).
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).
SILVA, Tarciana Dias da . Sistema de XPeers e Aplicações para XPeer para Dispositivos Desktop e Móveis. 2005. (Apresentação de Trabalho/Congresso).
SILVA, Tarciana Dias da . Componente de Comunicação para o projeto XPeer. 2004. (Apresentação de Trabalho/Congresso).

Histórico profissional

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

Experiência profissional

2010 - Atual

Universidade de Pernambuco

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

2009 - Atual

Tribunal de Justiça do Estado de Pernambuco

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.

2008 - 2009

Instituto Nokia de Tecnologia

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

2003 - 2008

Grupo de Pesquisa Em Redes e Telecomunicações

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.

2008 - 2008

Universidade Salgado de Oliveira

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.

2008 - 2008

Faculdade de Filosofia Ciências e Letras de Caruaru

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.

2009 - 2010

FAREC

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

2010 - 2010

UNIBRATEC

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.