Ernesto Cid Brasil de Matos

  • Endereço para acessar este CV: http://lattes.cnpq.br/4276245931614707
  • Última atualização do currículo em 03/07/2017


Possui graduação em Ciência da Computação pelo Centro de Ensino Unificado de Teresina (2009), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2012) e doutorado em Sistemas e Computação também pela UFRN (2016). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: prototipação, engenharia de software, testes de software e métodos formais. (Texto informado pelo autor)


Identificação


Nome
Ernesto Cid Brasil de Matos
Nome em citações bibliográficas
MATOS, E. C. B.;Matos, Ernesto Cid Brasil;DE MATOS, ERNESTO C. B.


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


2012 - 2016
Doutorado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
com período sanduíche em Heinrich-Heine Universitãt (Orientador: Michael Leuschel).
Título: BETA: a B based testing approach, Ano de obtenção: 2016.
Orientador: Anamaria Martins Moreira.
Coorientador: Michael Leuschel.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2010 - 2012
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B,Ano de Obtenção: 2012.
Orientador: Anamaria Martins Moreira.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Engenharia de Software; Métodos Formais; Testes de Software; Método B.
Grande área: Ciências Exatas e da Terra
2006 - 2009
Graduação em Bacharelado em Ciência da Computação.
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
Título: WAAT - Web Application Automated Testing.
Orientador: Thiago Carvalho de Sousa.




Formação Complementar


2010 - 2010
Iniciação à Docência. (Carga horária: 45h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2009 - 2009
Introdução à Avaliação Automática de Código-Fonte. (Carga horária: 8h).
Instituto Federal do Piauí, IFPI, Brasil.
2009 - 2009
Engenharia de Software para Sistemas Embarcados. (Carga horária: 6h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2008 - 2008
Extensão universitária em Programação Orientada a Objetos com Java. (Carga horária: 26h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
2008 - 2008
Mineração de Dados utilizando Weka. (Carga horária: 4h).
CEFET-PI, CEFET-PI, Brasil.
2008 - 2008
Proc. de Gerência de Reuso de Software no MPS.BR. (Carga horária: 12h).
CEFET-PI, CEFET-PI, Brasil.
2007 - 2007
Desenvolvimento em Java. (Carga horária: 40h).
Construtora Sucesso, CS, Brasil.
2007 - 2007
Desenvolvimento de Aplicações com Framework .NET. (Carga horária: 12h).
CEFET-PI, CEFET-PI, Brasil.
2006 - 2006
Java Reflection, Crie seu próprio framework. (Carga horária: 12h).
CEFET-PI, CEFET-PI, Brasil.
2006 - 2006
Desenvolvimento de Games. (Carga horária: 8h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
2006 - 2006
Linux Básico. (Carga horária: 12h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.


Atuação Profissional



Remanso Mineradora, RM, Brasil.
Vínculo institucional

2009 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Análise e Desenvolvimento de Sistemas, Carga horária: 30


Construtora Sucesso, CS, Brasil.
Vínculo institucional

2007 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Estágio em Análise e Desenv. de Sistemas, Carga horária: 20


Centro de Ensino Unificado de Teresina, CEUT, Brasil.
Vínculo institucional

2007 - 2007
Vínculo: Monitor, Enquadramento Funcional: Monitor de Algoritmos e Programação II, Carga horária: 20



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.


Idiomas


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


Produções



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

1.
DE MATOS, ERNESTO C. B.2016 DE MATOS, ERNESTO C. B.; MOREIRA, ANAMARIA M. ; DE SOUZA NETO, JOÃO B. . An empirical study of test generation with BETA. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO), v. 22, p. 8-24, 2016; Meio de divulgação: Digital; Série: 1; ISSN/ISBN: 01046500.

2.
MATOS, E. C. B.;Matos, Ernesto Cid Brasil;DE MATOS, ERNESTO C. B.2010 MATOS, E. C. B.; Sousa, Thiago C. . From formal requirements to automated web testing and prototyping. Innovations in Systems and Software Engineering (Print), v. 6, p. 163-169, 2010; Meio de divulgação: Digital. Homepage: ; ISSN/ISBN: 16145046.

Trabalhos completos publicados em anais de congressos
1.
MEDEIROS JR., V. ; DEHARBE, D. ; AZEVEDO, D. ; MATOS, E. C. B. . BTestBox: an automatic test generator for B Method. In: Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016. Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Português; Meio de divulgação: Digital.

2.
MATOS, E. C. B.; MOREIRA, A. M. ; DEHARBE, D. ; HENTZ, C. ; MEDEIROS JR., V. ; SOUZA NETO, J. B. . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: 9th International Conference, TAP 2015, 2015, L'Aquila. Lecture Notes in Computer Science, 2015. v. 9154. p. 76-91.
Palavras-chave: Model-Based Testing; Grammar-Based Testing; B-Method; Code Generators.
Referências adicionais: Classificação do evento: Internacional; Itália/ Inglês; Meio de divulgação: Vários; Homepage: http://link.springer.com/chapter/10.1007/978-3-319-21215-9_5#; ISSN/ISBN: 0302-9743.

3.
MATOS, E. C. B.; MOREIRA, A. M. ; SOUZA NETO, J. B. . An empirical study of test generation with BETA. In: Workshop on Systematic and Automated Software Testing, 2015, Belo Horizonte. Proceedings of the 9th Workshop on Systematic and Automated Software Testing, 2015.
Palavras-chave: Model-Based Testing; B-Method; Empirical Study.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Inglês; Meio de divulgação: Vários.

4.
MATOS, E. C. B.. Complementing the B-Method with Model-Based Testing. In: Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015, L'Aquilla. Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015.
Referências adicionais: Classificação do evento: Internacional; Itália/ Inglês; Meio de divulgação: Digital.

5.
MATOS, E. C. B.; MOREIRA, A. M. . BETA: a tool for test case generation based on B specifications. In: CBSoft Tools, 2013, Brasília. Anais do CBSoft 2013, 2013.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Inglês.

6.
MATOS, E. C. B.; MOREIRA, A. M. . BETA: A B Based Testing Approach. In: Brazilian Symposium in Formal Methods, 2012, Natal. Formal Methods: Foundations and Applications. Berlin: Springer, 2012.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Inglês.

7.
MATOS, E. C. B.; SOUSA, T. C. . Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso. In: ERCEMAPI, 2009, Parnaíba. Escola Regional de Computação Ceará - Maranhão - Piauí, 2009.
Palavras-chave: Engenharia de Software; Engenharia de Requisitos; Prototipação; Testes Funcionais.
Grande área: Ciências Exatas e da Terra
Referências adicionais: Classificação do evento: Regional; Brasil/ Português; Meio de divulgação: Digital.

8.
MATOS, E. C. B.; SOUSA, T. C. . From Formal Requirements to Automated Web Testing and Prototyping. In: International Workshop for Formal Methods and Agile Methods, 2009, Rio de Janeiro. International Workshop for Formal Methods and Agile Methods, 2009.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Inglês; Meio de divulgação: Impresso.

Resumos expandidos publicados em anais de congressos
1.
MATOS, E. C. B.; MOREIRA, A. M. ; SOUZA, F. M. ; COELHO, R. S. . Generating Test Cases From B Specifications: An Industrial Case Study. In: 22nd International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Montréal: Centre de Recherche Informatique de Montréal (CRIM), 2010. p. 55-60.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Inglês; Meio de divulgação: Digital; Homepage: http://www.crim.ca/Publications/2010/documents/plein_texte/ASD_PetA_al_201010_ICTSS_sp.pdf; ISSN/ISBN: 9782895221364.

Apresentações de Trabalho
1.
MATOS, E. C. B.; SOUSA, T. C. . Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso. 2009. (Apresentação de Trabalho/Seminário).
Referências adicionais: Brasil/Português; Cidade: Teresina; Evento: IV Semana de Iniciação Ciêntifica do CEUT; Inst. promotora/financiadora: Centro de Ensino Unificado de Teresina - CEUT.


Produção técnica
Programas de computador sem registro
1.
MATOS, E. C. B.; MOREIRA, A. M. . BETA. 2012.
Referências adicionais: Brasil/; Finalidade: Geração de casos de teste a partir de modelos formais do Método B; Plataforma: Inglês; Inst. promotora/financiadora: CAPES; INES.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
22nd IFIP International Conference on Testing Software and Systems. Generating Test Cases From B Specifications: An Industrial Case Study. 2010. (Congresso).
Referências adicionais: Brasil
Tipo de participação: Apresentação Oral
Forma de participação: Participante.

2.
ICTAC School on Software Engineering - Component-based Software Development. 2010. (Oficina).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

3.
SAST 2010 - IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Oficina).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

4.
SBMF 2010 - XIII Brazilain Symposium on Formal Methods. 2010. (Simpósio).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

5.
VII InFoPI. 2009. (Simpósio).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

6.
XXIX CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2009. (Congresso).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

7.
InfoCEFET 2008. 2008. (Simpósio).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

8.
XXVIII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2008. (Congresso).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

9.
InfoCEFET 2007. 2007. (Simpósio).
Referências adicionais: Brasil
Forma de participação: Ouvinte.

10.
InfoCEFET 2006. 2006. (Simpósio).
Referências adicionais: Brasil
Forma de participação: Ouvinte.


Organização de eventos, congressos, exposições e feiras
1.
BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MATOS, E. C. B. . IV Encontro Regional de Computação do Piauí (ERECOMPI). 2009. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Duração do evento: 1; Cidade: Teresina; Inst. promotora/financiadora: Centro de Ensino Unificado de Teresina - CEUT.

2.
BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MENESES, Érico L. ; MATOS, E. C. B. . III Encontro Regional de Computação do Piauí (ERECOMPI). 2008. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Duração do evento: 1; Cidade: Teresina; Inst. promotora/financiadora: Centro de Ensino Unificado de Teresina - CEUT.

3.
BUDARUICHE, R. M. S. ; MATOS, E. C. B. . II Encontro Regional de Computação do Piauí (ERECOMPI). 2007. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Não; Duração do evento: 1; Cidade: Teresina; Inst. promotora/financiadora: Centro de Ensino Unificado de Teresina - CEUT.

4.
BUDARUICHE, R. M. S. ; MATOS, E. C. B. . I Encontro Regional de Computação do Piauí (ERECOMPI). 2006. (Congresso).
Referências adicionais: Brasil/Português; Evento itinerante: Sim; Duração do evento: 1; Cidade: Teresina; Inst. promotora/financiadora: Centro de Ensino Unificado de Teresina - CEUT.



Outras informações relevantes


Meu período de doutorado sanduíche foi financiado pelo Programa de Doutorado Sanduíche no Exterior (PDSE) tendo a Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) como o instituição de fomento.



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 3:43:12