Now showing items 1-1 of 1

    • Full Satisfiability of UML Class Diagrams 

      Artale, A; Calvanese, D; Ibanez-Garcia, A (Springer, 2010)
      UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs one can exploit automated ...