Validation of mappings between data schemas 

    Rull Fort, Guillem (Fecha 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 ...

    Validation of UML conceptual schemas with OCL constraints and operations 

    Queralt, Anna (Fecha 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 ...

    Variants of unification considering compression and context variables 

    Gascón Caro, Adrià (Fecha 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 ...

    La visió de la informàtica en la literatura de ciència ficció 

    Barceló Garcia, Miquel (Fecha 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 ...

    YAM^2: a multidimensional conceptual model 

    Abelló Gamazo, Alberto (Fecha 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 ...