Exploració per tema "OCL-Lite"

Ara es mostren els items 1-1 de 1

    • OCL-Lite: a decidable (yet expressive) fragment of OCL 

      Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
      Text en actes de congrés
      Accés obert
      UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ...