OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning

Xavier Oriol,Ernest Teniente
DOI: https://doi.org/10.1007/978-3-319-69904-2_28
2017-11-06
Abstract:
What problem does this paper attempt to address?