José Dihego

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 2

Top Topics

Complex Systems

Building Blocks

Historical Perspective

Search Algorithm

Top Venues

J. Syst. Softw.

Publications

José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. CoRR (2020)
José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167 (2020)
José Dihego, Augusto Sampaio
Aspect-Oriented Development of Trustworthy Component-based Systems. ICTAC (2015)
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
Constructive extensibility of trustworthy component-based systems. SAC (2015)
José Dihego, Pedro R. G. Antonino, Augusto Sampaio
Algebraic Laws for Process Subtyping. ICFEM (2013)