My research is focused on software engineering, mainly:

  • smart cities;
  • business process management;
  • service-oriented architecture;
  • enterprise architecture;
  • software architecture;
  • model-driven architecture;
  • reference architecture;
  • product line architecture;
  • software development process and quality;
  • software development ontology-based;
  • software verification and validation;
  • aspect-oriented programming;

Awards and Honors

2016 - Professor approved in public selection at the Laureate International Universities in Brazil.

2015 - Professor selected to the Inova Education 3.0.

2015 - Awarded with a diversity scholarship at the Brazil JavaScript Conference 2015.

2015 - I received a letter of the Ministry of Cities, relating to "mobilidade urbana por meio de vias inteligentes" like a proposal of high quality and great possibility of success in Brazil. 

2015 - Professor selected in first place at the Federal Institute of Education, Science, and Technology.

2015 - Medal of professional merit and excellence in quality at Brazil.

2014 - First M. Sc. in Computer Science at the Federal University of São Paulo.

2014 - First stricto sensu postgraduate degree in the Institute of Science and Technology at the Federal University of São Paulo. 

2014 - Master in Science in Computer Science, Federal University of São Paulo, Brazil.

2013 - PhD student selected in second place at the São Paulo University (ICMC-USP), Brazil.

2013 - Selected to scholarship holder at the high-performance computing platform using GPU cards for biomedical applications at the National Laboratory for Scientific Computing (LNCC) Brazil.

2009 - JBoss Ambassador, Red Hat.

2008 - One of best papers of the II Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2008), invited to publish in the Journal of the Universal Computer Science (JUCS).

2008 - One of best papers of The Ontology Research Seminar in Brazil (Ontobras 2008) with maximum evaluation.

2008 - Advanced postgraduate in Distributed Systems, Federal University of Bahia, Brazil.

2007 - Selected to Software Engineering graduation program at the Federal University of Rio de Janeiro (Coppe).

2006 - Selected in second place at the graduation program in mobile systems at the Minho University Portugal.

2006 - Selected in third place at the graduation program in information systems at the Minho University Portugal.

2006 - Software Engineering Residence at the Federal University of Bahia, Brazil.

2006 - Postgraduate in Software Engineering at the Salvador University, Brazil.

2006 - Brazilian Finalist on IT Professional Challenge at the Microsoft Imagine Cup.

2005 - 3th place on Brazil at IT Student Challenge at the Microsoft Imagine Cup.

2004 - Best paper contributor 4th place on Brazil at MSDN Portal, Microsoft. 

2004 - Undergraduate in Computer Networks at the Salvador University, Brazil.

1999 - professional-technical, Computer Programmer at the SENAC-BA, Brazil.

1997 - Selected to accouting trainee of the Brazilian Post.

1994 - Selected to accounting trainee of the Brazilian Federal Savings Bank Caixa Economica Federal (biggest public bank in Latin America).

Scholarship Holder

2014 - DTI-B Researcher of the National Counsel of Technological and Scientific Develpment (CNPQ), Brazil.

2012 - 2014 - Graduate student of the Coordination for the Improvement of Higher Education Personnel (CAPES), Brazil.

2008 - TTIV-A Researcher of the São Paulo Research Foundation (FAPESP), Brazil.

2007 - Postgraduate student of the Foundation of Support the Research and Extension (FAPEX), Brazil.

2005 - 2006 - Software Engineer Researcher of the Foundation of Support the Research and Extension (FAPEX), Brazil.

Research Projects related to scholarships

Biomedical Image Analysis Library (UNIFESP-BRAZIL)

Rescuer - new communication platform to save lives (Fraunhofer IESE)

Sakai Project (University of Michigan, Indiana University, MIT and Stanford University)

Journal and Conference Reviewer

Publications

Baranauskas, M.C.C.; de Souza, C.S.; Pereira, R. et al.. I GranDIHC-BR — Grand Research Challenges in Human-Computer Interaction in Brazil. ISBN: 978-85-7669-296-6, 2015.

IEEE Computer Society. Guide to the Software Engineering Body of Knowledge (SWEBOK v3), 2014. (SWEBOK 3 reviewer).

The Open Group. TOGAF 9.1 - Um Guia de Bolso (Brazilian Portuguese version), 2014.

(TOGAF 9.1 review team).

Journal and conference papers

SILVA, J. B.. Mobilidade Urbana Por meio de Vias Inteligentes. In: Simpósiio Brasileiro de Sistemas de Informação (SBSI 2014). I Encontro de Inovação em Sistemas de Informação (EISI 2014)., 2014, Londrina. Anais do Simpósiio Brasileiro de Sistemas de Informação (SBSI 2014). I Encontro de Inovação em Sistemas de Informação (EISI 2014), 2014.

SILVA, J. B.. Verification of Exception Handling Combining Model-based Testing, Aspect-oriented Programming and Model-driven Architecture. In: The Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013). Colocated with other events part of SoftNet 2013, 2013, Venice, Italy. The Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013) proceedings, 2013.

SILVA, J. B.. GranDIHC-BR - Interação Humana com Cidades Inteligentes. In: XI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais IHC 2012, 2012, Cuiabá. Anais do XI Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais IHC 2012, 2012.

SILVA, J. B.. Proposta de uma Arquitetura para o Gerenciamento de Regras de Negócio em LPS com Base na MDA. In: Ontobras/MOST - International Workshop on Metamodels Ontologies and Semantic Technologies, 2011, Gramado. Anais do Ontobras/MOST - International Workshop on Metamodels Ontologies and Semantic Technologies. Gramado: CEUR-WS.org, 2011. v. 776. p. 99-104.

SILVA, J. B. and Barreto, L. P.. Business Rules Separation and Reuse Using MDA, OWL and AspectJ. In: IEEE 20th International Symposium on Software Reliability Engineering Proceedings (ISSRE), 2009, Bangalore-Mysore. IEEE 20th International Symposium on Software Reliability Engineering Proceedings (ISSRE). Bangalore-Mysore: IEEE Computer Society, 2009. v. Suppl. p. 1-3.

SILVA, J. B., Vinícios, M., Neto, R.. Confiabilidade nos Serviços WEB: Um Estudo Sobre as Técnicas de Tolerância a Falhas. In: 37a InfoBrasil TI & Telecom, 2011, 2011, Fortaleza. Anais da 37a InfoBrasil TI & Telecom, 2011. Fortaleza: InfoBrasil, 2011. v. 1. p. 1-6.

SILVA, J. B. and Barreto, L. P.. Uma Nova Abordagem para Validação de Regras de Negócio Através de Transformação e Composição de Modelos MDA. iSys: Revista Brasileira de Sistemas de Informação, V. 2, p. 1-16, 2009.

SILVA, J. B.. OWLtoAspectJ: Uma Ferramenta para Transformação de Regras Conceituais de Domínio em Aspectos. RETEC. Revista de Tecnologias (Ourinhos), v. 1, p. 1-9, 2009.

SILVA, J. B.. OWLtoAspectJ: Uma Ferramenta para Transformação de Regras Conceituais de Domínio em Aspectos. In: Seminário de Pesquisa em Ontologia no Brasil (Ontobras), 2008, Niterói. Anais do Seminário de Pesquisa em Ontologia no Brasil (Ontobras). Niteroí, 2008. p. 1-5.

SILVA, J. B. and Saba, H.. Modelagem das áreas de processo do CMMI usando Business Process Management e Software Process Engineering Metamodel Specification. In: 34a InfoBrasil TI & Telecom, 2008, Fortaleza. Anais da 34a InfoBrasil TI & Telecom. Fortaleza: InfoBrasil, 2008. p. 1-7.

SILVA, J. B. and Barreto, P. L.. Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos. In: Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2008, Porto Alegre. Anais do Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS). Porto Alegre: Sociedade Brasileira de Computação, 2008. p. 136-149.

Faria, A. B. ; Diniz, F. R. I. ; Júnior, R. S. O. ; SILVA, J. B. ; Oliveira, J.M.P.. DSEO: Desenho de Software para Especificação de Ontologia. In: I Seminário de Pesquisa em Ontologia no Brasil, 2008, Niteroí. Anais do I Seminário de Pesquisa em Ontologia no Brasil. Niteroí, 2008. v. GP1. p. 1-6.

SILVA, J. B. and Pezzin, J.. Formal Verification of an Application Domain using MDA and OWL. Lecture Notes in Engineering and Computer Science, v. 2167, p. 974-977, 2007.

SILVA, J. B.. Decomposição de interesses transversais de middlewares usando um modelo de Aspecto. In: III Congresso Sul Catarinense de Computação (SulComp), 2007, Santa Catarina. Anais do III Congresso Sul Catarinense de Computação (SulComp). Santa Catarina: UNESC, 2007. p. 1-8.

SILVA, J. B., Pezzin, Juliana. Formal Verification of Applications Conceptual Models using MDA (Mode-Driven Architecture) and OWL (Ontology Web Language). In: The World Congress on Engineering and Computer Science (WCECS), 2007, San Francisco. Proceedings of the World Congress on Engineering and Computer Science 2007. San Francisco: Newswood Limited, 2007. p. 974-977.

Silva, J. B.. Criação de regras de negócios desacopladas dos modelos específicos de plataforma. In: XI Workshop Anual do Laboratório de Sistemas Distribuídos LASID UFBA (WoLa), 2007, Salvador. Anais do XI Workshop Anual do Laboratório de Sistemas Distribuídos LASID UFBA (WoLa). Salvador: UFBA, 2007.

SILVA, J. B., Pezzin, Juliana. Usando Ontologias na Construção de Modelos MDA (Model-driven Architecture). In: IX Fórum de Tecnologia e XVI Seminário Regional de Informática (Seminfo), 2006, Santo Ângelo. Anais do IX Fórum de Tecnologia e XVI Seminário Regional de Informática (Seminfo), 2006.

Thesis and Monographs

SILVA, J. B. , Cappabianco, F. A. M., NAKAGAWA, E. Y. . Uma Arquitetura de Referência para Sistemas de Processamento e Análise de Imagens Biomédicas 2013 (Master Thesis).

SILVA, J. B. and Barreto, L. P. . Criação de regras de negócio desaclopadas dos modelos MDA (Model- Driven Architecture) 2008 (Monograph).

SILVA, J. B. , Sampaio, Milton, Pezzin, Juliana. Usando Ontologias na Construção de Modelos MDA (Model-Driven Architecture) 2006 (Monograph).

SILVA, J. B. , Freitas, João V.V.B. , ARAUJO, J. G. R. , GREVE, F. P., CHAVEZ, C. V. F. G.. Integração entre BPM e ITIL - Estudo de caso na Universidade Federal da Bahia. 2006 (Monograph).

Technical Reports

SILVA, J. B., NAKAGAWA, E. Y. ; Santos, S. D. ; OCANA, A. B. M. ; TORRES, J. . Reliable and Smart Crowdsourcing Solution for Emergency and Crisis Management - Evaluation Model and General Evaluation Plan. 2014.

SILVA, J. B.. Towards a quality model for Rescuer Platform Evaluation using SoS Approaching, 2014.

SILVA, J. B., NAKAGAWA, E. Y.. Um Processo para Avaliação de Arquiteturas de Referência, 2013.

SILVA, J. B., NAKAGAWA, E. Y. ; Cappabianco, F. A. M. . A Systematic Review on Reference Architecture Evaluation. 2013.

SILVA, J. B., Cappabianco, F. A. M.. A Systematic Review on Medical Image Processing and Analysis (to be published like a journal paper). 2013.

SILVA, J. B.. Análise do Perfil Docente: Uma Proposta para Acompanhar a Relação Docente-Componente Curricular. 2013.

SILVA, J. B.. Tratamento de Falhas Residuais Durante o Design de Sistemas de Software - O Estado da Arte. 2012.

SILVA, J. B.. Análise de Desempenho Usando Técnicas de Vetorização Blocagem e Concorrência. 2012.

SILVA, J. B.. Uma Análise de Vetorização Automática do Compilador GCC. 2012.

SILVA, J. B.. Verificação Automática de Situações Excepcionais Através de Casos de Testes Aspectuais Baseados em Modelos. 2012.

SILVA, J. B.. Análise de Performance em Produtos de Matrizes. 2012.

SILVA, J. B.. Uma Solução O(n) para o Problema Countdown. 2012.

SILVA, J. B.. Uma Proposta de Solução para o Problema do Círculo Cortado - Problemas de Partição de Subconjuntos. 2012.

SILVA, J. B.. Artigo Palácio dos Espelhos - Geração de Sequências de Polinómios para Múltiplas Reflexões. 2012.

Magazines

SILVA, J.B.. Framework FACTO para Arquitetura Corporativa. Mundojava (Curitiba), Brasil, , v. 1, p. 34 - 43, 16 jan. 2012 (Magazine).

Educational Resources to the Software Engineering Learning


SILVA, J. B.. Uso de Mapas Mentais no Ensino de Engenharia de Software. 2012.

SILVA, J. B.. Notas de Teste de Software. 2012.

SILVA, J. B.. Fundamentos em Business Process Management. 2011.

Software and System Quality Processes

Silva, J. B.. FACTO - Framework de Arquitetura Tecnológica Corporativa. 2011.


SILVA, J. B., Freitas, João V.V.B., MAGALHAES, G., MENDES, F. A. T., PASTOR, S. O., RIBEIRO, M., SANTOS, A. G., SANTOS, F. G., GREVE, F. P., CHAVEZ, C. V. F. G., ARAUJO, J. G. R.. Metodologia para Modelagem de Processos de Negócio. 2006.

Interviews and News

SILVA, J. B.. Que tal saber, em tempo real, se o melhor é pegar metrô, trem ou ônibus?. 2014. (Programa de rádio ou TV/Entrevista). http://www.mobilize.org.br/noticias/6573/que-tal-saber-em-tempo-real-se-o-melhor-e-pegar-o-metro-trem-ou-onibus.html

SILVA, J. B.. Metrô, trem ou ônibus? Projeto propõe solução inteligente para o caos das grandes cidades. 2014. (Programa de rádio ou TV/Entrevista). https://catracalivre.com.br/geral/mobilidade/indicacao/metro-trem-ou-onibus-projeto-propoe-solucao-inteligente-para-o-caos-das-grandes-cidades/

SILVA, J. B.. Que tal saber, em tempo real, se o melhor é pegar metrô, trem ou ônibus?. 2014. (Programa de rádio ou TV/Comentário).

SILVA, J. B.. Serviço integrado, que fornece informações sobre a capacidade de cada sistema de transporte em tempo real, é proposto para São Paulo.. 2014. (Programa de rádio ou TV/Comentário). https://www.facebook.com/ITDPBrasil

SILVA, J. B.. Metrô, trem ou ônibus? Projeto propõe solução inteligente para o caos das grandes cidades. 2014. (Programa de rádio ou TV/Comentário). http://www.revistabicicleta.com.br/bicicleta_noticia.php?metro_trem_ou_onibus?_projeto_propoe_solucao_inteligente_para_o_caos_das_grandes_cidades&id=30040

SILVA, J. B.. Investigador quer ajudar passageiros a escolherem melhor transporte para o seu trajecto. 2014. (Programa de rádio ou TV/Comentário). http://menosumcarro.pt/2014/07/04/investigador-quer-ajudar-passageiros-a-optarem-pelo-transporte-mais-indicado/

ICT-Unifesp forma o primeiro aluno do Programa de Pós-Graduação, 2014