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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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


Produção técnica
Programas de computador sem registro
1.
MATOS, E. C. B.; MOREIRA, A. M. . BETA. 2012.



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

2.
ICTAC School on Software Engineering - Component-based Software Development. 2010. (Oficina).

3.
SAST 2010 - IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Oficina).

4.
SBMF 2010 - XIII Brazilain Symposium on Formal Methods. 2010. (Simpósio).

5.
VII InFoPI. 2009. (Simpósio).

6.
XXIX CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2009. (Congresso).

7.
InfoCEFET 2008. 2008. (Simpósio).

8.
XXVIII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2008. (Congresso).

9.
InfoCEFET 2007. 2007. (Simpósio).

10.
InfoCEFET 2006. 2006. (Simpósio).


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

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

3.
BUDARUICHE, R. M. S. ; MATOS, E. C. B. . II Encontro Regional de Computação do Piauí (ERECOMPI). 2007. (Congresso).

4.
BUDARUICHE, R. M. S. ; MATOS, E. C. B. . I Encontro Regional de Computação do Piauí (ERECOMPI). 2006. (Congresso).



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 20/11/2018 às 5:44:10