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…

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…

Un sistema adaptativo es aquel que tiene un comportamiento dinámico frente a diferentes usuarios, por lo tanto requiere inevitablemente de un modelo de estereotipos de usuarios y/o de un modelo explícito del usuario particular del sistema adaptativo. Este paper describe…

Un datawarehouse es una colección de datos no volátiles, variables en el tiempo y orientado a un tema específico utilizado para tomar decisiones. La necesidad de registrar valores que permitan evaluar tendencias, variaciones, máximos y mínimos, justifican considerar en el…

En este artículo es presentado el software SFP Tool que permite medir el tamaño funcional de un sistema de software a partir de los escenarios generados en la Elicitación de Requerimientos. Específicamente, esta herramienta semiautomatizada facilita la aplicación del procedimiento…

UML es un lenguaje de representación de amplio propósito general, el cual para tal fin cuenta con vocabulario gráfico. En algunos casos cuando se quiere modelar un tipo de aplicación particular el vocabulario gráfico de UML resulta ser muy reducido.…

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…

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…