Follow
José Dihego
Title
Cited by
Cited by
Year
A refinement checking based strategy for component-based systems evolution
J Dihego, A Sampaio, M Oliveira
Journal of Systems and Software 167, 110598, 2020
72020
Algebraic laws for process subtyping
J Dihego, P Antonino, A Sampaio
Formal Methods and Software Engineering: 15th International Conference on …, 2013
6*2013
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
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
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