Ara mostrant els elements 79-83 de 83
Rull Fort, Guillem (Data de defensa: 2011-01-19)
En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que obtiene el diseñador ...
Queralt, Anna (Data de defensa: 2009-03-02)
Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...
Gascón Caro, Adrià (Data de defensa: 2014-05-30)
Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...
Barceló Garcia, Miquel (Data de defensa: 1990-09-01)
(Cat) Aquesta memòria descriu com la literatura de ciència ficció reflecteix en les seves narracions els conceptes i resultats propis de la ciència i la tecnologia informàtica. Aquesta visió cal entendre-la en un sentit ...
Abelló Gamazo, Alberto (Data de defensa: 2002-04-26)
ABRSTRACT<br/>This thesis proposes YAM^2, a multidimensional conceptual model for OLAP(On-Line Analytical Processing). It is defined as an extension of UML (Unified Modeling Language). The aim is to benefit from Object-Oriented ...