OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL
Authors: Queralt, Anna / Artale, Alessandro / Calvanese, Diego / Teniente, Ernest
Publication: Description Logics
Authors: Queralt, Anna / Artale, Alessandro / Calvanese, Diego / Teniente, Ernest
Publication: Description Logics