El objetivo de este trabajo es el estudio y análisis de cómo aplicar herramientas informáticas basadas en Tecnologías y Sistemas de Información (TI/SI) de Base de Datos, como lo son el Almacén de Datos (Datawarehouse) y la Minería de Datos…

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…

Los servicios basados en la Web ya se han convertido en una herramienta más en la vida de la mayoría de las personas. En la actualidad por ejemplo se utiliza la Web para pagar servicios, comprar artículos o escuchar programas…

El sistema de ayuda de la plataforma Eclipse1 define puntos de extensión con los cuales podemos contribuir.
Uno de los aspectos menos documentados es la producción de ayuda en forma dinámica. En este artículo trataremos el uso del punto de…

En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La depuración en el código fuente es…

Se presenta un modelo de simulación del proceso de transformación lluvia-caudal. El sistema permite elegir el mejor conjunto de algoritmos en cada fase del proceso, en función de la información disponible.
Se diseñó y desarrolló el sistema computacional, programando los…

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…

El proyecto tiene como objetivo evaluar distintas herramientas FLOSS, definir una arquitectura de software para el desarrollo de aplicaciones Web y realizar un desarrollo aplicando las herramientas y arquitectura seleccionada.
Actualmente existen varios proyectos de ley que fomentan la utilización…

La aplicación de sistemas biométricos, particularmente en la administración pública, ha tomado importancia en los últimos años, tanto para controles de accesos físicos o virtuales, documentación, etc. El uso de esta tecnología no alcanza si no se cuenta con bases…

En la década de los 90 nace la idea de nuevas bases de datos orientadas a objetos, que se pensaba podían revolucionar la persistencia de datos de los sistemas software. A pesar de que en la actualidad esto no es…