Interests
- Formal Methods
- Programming Languages
- Mobile Development
Education
- PhD in Computer Science, 2016 UFPE - Brazil
- MSc in Computer Science, 2010 UFPE - Brazil
- BSc in Computer Science, 2008 UFPE - Brazil
Mobile Apps
Selected publications
-
A refinement checking based strategy for component-based systems evolution [DOI]
-
A refinement checking based strategy for component-based systems evolution [DOI]
-
Aspect-Oriented Development of Trustworthy Component-based Systems [DOI]
-
Constructive extensibility of trustworthy component-based systems [DOI]
-
Algebraic Laws for Process Subtyping [DOI]
Professional Address
Federal Institute of Education, Science and Technology of Bahia (IFBA)
Address: R. Emídio dos Santos, s/n - Barbalho, Salvador - BA, 40301-015