Articles matching “Claris”

1. Robert Clarisó, Lola Burgueño, Jordi Cabot, Managing Design-time Uncertainty in OCL Expressions, pp. 4:1-10, PDF, DOI. Volume 21, no. 4 (October 2022)
2. Robert Clarisó, Carlos A. González, Jordi Cabot, Incremental Verification of UML/OCL Models, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)