OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL

Workshops 2012

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

Publication: Description Logics