Las bases de datos clásicas se organizan basándose en el concepto de búsqueda exacta sobre datos estructurados, capturando sólo un estado de la realidad modelizada. Actualmente las bases de datos han incluido la capacidad de almacenar otro tipos de datos…

En este trabajo se presenta una de las líneas del grupo de investigación “Procesadores de Lenguajes y Métodos Formales”, perteneciente al Departamento de Computación de la UNRC. El aspecto fundamental de dicha línea es la creación de un framework para…

Como resultado de las características del proceso evolutivo del paradigma hidroinformática, no se dispone de arquitecturas de software que faciliten la construcción de aplicaciones de modelación de simulación hidrológica flexibles. En el Proyecto que se lleva adelante en una línea…

En este proyecto daremos las bases para la investigación y el desarrollo del proceso de Descubrimiento de Conocimiento en Bases de Datos con Ontologías. La principal motivación para la inclusión de ontologías en dicho proceso es la necesidad de incluir…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

La información se codifica mediante registros, tuplas para el lenguaje de bases de datos.
Múltiples registros de la misma naturaleza integran una tabla. De este modo surge la visión relacional del proceso de información.
Las tablas de una base de…

Este artículo describe una aplicación de automatización de edificios del grupo INCA/INTIA, en el marco del proyecto de investigación ALIASEMEH (ALgoritmos de Inteligencia Artificial para Sistemas Empotrados: MEtodologías y Herramientas) financiado por la UNCPBA., Eje: Ingeniería de Software y Base…

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…