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.…

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…

Se presenta una síntesis del proyecto Prometeo y los avances logrados durante el año 2008. Se enuncian los antecedentes, características de la heurística usada y los objetivos del software, logros recientes y avances previstos en este año., Eje: Ingeniería de…

La búsqueda por similaridad consiste en recuperar todos aquellos objetos dentro de una base de datos que sean parecidos o relevantes a una determinada consulta. Este concepto tiene una amplia gama de aplicaciones en áreas como bases de datos multimediales,…

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 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…

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…