Prof. José Dihego

Full Professor at the Federal Institute of Bahia (IFBA), Campus Salvador, since 2010. PhD in Computer Science from CIn-UFPE.

• Formal Methods
• Programming Languages
• Mobile Development

Apps and games

Banana Math Free maths app for children aged 6 to 11: they write each step of the written methods with a finger, as in their exercise book, and get gentle help. No ads, no accounts. Portuguese and English. Google Play Privacy policy

Gennaro Free picture communication (AAC) app for children who communicate with pictures. No ads, works offline, and the family owns its data. Portuguese and English. Google Play Privacy policy

Jungle School Free Roblox obby: run, jump and dodge through 24 stages where the wild jungle meets a wild high school. Checkpoints on every stage and saved progress. Animal paintings by Clara Souza Oliveira. Roblox

Selected publications

• 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

Education

• PhD in Computer Science, UFPE, 2016 PDF Repository
• MSc in Computer Science, UFPE, 2010 PDF Repository
• BSc in Computer Science, UFPE, 2008 PDF Repository

Professional address

Federal Institute of Education, Science and Technology of Bahia (IFBA)
R. Emídio dos Santos, s/n – Barbalho, Salvador – BA, 40301-015
Open in Google Maps