Now showing items 1-2 of 2

    • Finite model reasoning on UML class diagrams via constraint programming 

      Cadoli M; Calvanese D; De Giacomo G; Mancini T (Springer, 2007)
      Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...
    • Finite Model Reasoning on UML Class Diagrams via Constraint Programming 

      Cadoli M; Calvanese D; De Giacomo G; Mancini T (2013)
      Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain ...