Program Comprehension is a Software Engineering discipline which aims to understand computer code written in a high-level programming language. Program Comprehension is useful for reuse, inspection, maintenance, reverse engineering and many other activities in the context of Software Engineering.
In…

El presente trabajo de grado, fruto de la investigación con el tema “Educación en
Valores a partir del Evangelio de Mateo. Propuesta de formación para los niños y niñas
de sexto y séptimo de Educación General Básica”, realizada en la…

During the last years a lot of projects and lines of research have emerged from different proposals trying to find the best way to reach data integration. Two powerful techniques have appeared separately – ontology and contextual information – in…

This study explored the relationship between male and female dance partners. Participants were 171 Hungarian competitive dancers. The study focused on how the competitors view their own partnership (how they define this relationship), how important they consider it for success,…

El final del Serravalliense y principio del Tortoniense es un periodo de fuerte actividad tectónica en la Cordillera Bética. Además, existe un debate sobre la existencia de sedimentos de edad Tortoniense inferior al no existir claras atribuciones fósiles en esa…

This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…

This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm.
We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

Electronic Government applications aim to deliver efficient, seamless, customer-focused services to the public using various distribution channels. One of challenges in building such applications is the requirement to rely upon preexisting, often heterogeneous government applications. In order to enable communication…