José Dihego
Title
Cited by
Cited by
Year
Constructive extensibility of trustworthy component-based systems
J Dihego, A Sampaio, M Oliveira
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1808-1814, 2015
42015
Algebraic laws for process subtyping
J Dihego, P Antonino, A Sampaio
International Conference on Formal Engineering Methods, 4-19, 2013
4*2013
Aspect-oriented development of trustworthy component-based systems
J Dihego, A Sampaio
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), 2015
22015
Aspect-oriented development of trustworthy component-based systems-Extended version
J Dihego, A Sampaio
Technical report, 2015
12015
A refinement checking based strategy for component-based systems evolution
J Dihego, A Sampaio, M Oliveira
Journal of Systems and Software 167, 110598, 2020
2020
Inheritance and refinement of trustworthy component-based systems
J Dihego
Proceedings of the Doctoral Symposium of Formal Methods 2015, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–6