OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Journal 2012

Authors: Queralt, Anna / Artale, Alessandro / Calvanese, Diego / Teniente, Ernest

Publication: Data & Knowledge Engineering

Volume / Pagination: 73 / 1-22