Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2099.1/23079
Título:
|
SafEx: a tool for integrity enforcement in UML conceptual schemas
|
Autor/a:
|
Kabar, Ahmet Oktay
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Teniente López, Ernest |
Abstract:
|
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 integrity constraint problems in a given OCL contract and proposes an iterative solution for the violations which will be explained in detailed way. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Programació -UML (Computer science) -conceptual schema -operations -integrity constraint -UML (Informàtica) |
Derechos:
|
|
Tipo de documento:
|
Trabajo fin de máster |
Editor:
|
Universitat Politècnica de Catalunya
|
Compartir:
|
|
Mostrar el registro completo del ítem