Prof. José Dihego

Professor Titular do Instituto Federal da Bahia (IFBA), Campus Salvador, desde 2010. Doutor em Ciência da Computação pelo CIn-UFPE.

• Métodos Formais
• Linguagens de Programação
• Desenvolvimento Mobile

Apps no Google Play

Gennaro App gratuito de comunicação por figuras (CAA) para crianças que se comunicam com imagens. Sem anúncios, funciona offline e os dados ficam com a família. Em português e inglês. Google Play

Publicações selecionadas

• 2026
  An integrated framework for the validation and verification of UML models Gustavo Carvalho, José Dihego, Augusto Sampaio
• 2024
  An integrated framework for analysing simulating and testing UML models Gustavo Carvalho, José Dihego, Augusto Sampaio
• 2020
  A refinement checking based strategy for component-based systems evolution José Dihego, Augusto Sampaio, Marcel Oliveira
• 2015
  Aspect-Oriented Development of Trustworthy Component-based Systems José Dihego, Augusto Sampaio
• 2015
  Constructive extensibility of trustworthy component-based systems José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
• 2013
  Algebraic Laws for Process Subtyping José Dihego, Pedro R. G. Antonino, Augusto Sampaio

Formação

• Doutorado em Ciência da Computação, UFPE, 2016 PDF Repositório
• Mestrado em Ciência da Computação, UFPE, 2010 PDF Repositório
• Graduação em Ciência da Computação, UFPE, 2008 PDF Repositório

Endereço profissional

Instituto Federal de Educação, Ciência e Tecnologia da Bahia (IFBA)
R. Emídio dos Santos, s/n – Barbalho, Salvador – BA, 40301-015
Abrir no Google Maps