Now showing items 1-1 of 1

  • SafEx: a tool for integrity enforcement in UML conceptual schemas 

    Kabar, Ahmet Oktay (Universitat Politècnica de Catalunya, 2014-08-05)
    Master thesis
    Open Access
    This document explains and shows the results of the elaboration of the master final project, devoted to the problem of the integrity constraint violations in OCL design of data. More specifically, the project addresses the ...