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

Courses Slides, code and exercises for my classes Supervision Theses and projects I have supervised Schedule Office hours, rooms and academic calendars BitBrabo Programming contest judge (DOMjudge)

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