En este artículo se presenta una estrategia de paralelización en clusters del método de Gauss-Seidel para la solución de sistemas de ecuaciones ralas. Desde el punto de vista de la solución numérica para matrices de coeficients con poca densidad de…

En el presente reporte se hace una introducción a la validación automática de sistemas, se detallan un conjunto de fundamentos sobre la importancia de la validación; a continuación se citan diferentes autores y sus propuestas sobre automatización; luego de esto…

Los actuales procedimientos de agregación de resultados de estudios experimentales basados en Meta-Análisis, provenientes de otras ramas de la ciencia, han mostrado no ser adecuados para la realidad que vive la Ingeniería del Software. El presente trabajo presenta un proceso…

En el presente trabajo se suministran elementos de juicio y se sugieren pautas instrumentales para optimizar la gestión de proyectos de software. Se estudia la estructura de estándares ampliamente aceptados para encarar la gerencia de proyectos en general y de…

The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…

La Geometría Computacional es una disciplina que brinda un marco teórico y formal para dar soluciones a problemas de tipo geométrico. En este sentido, las operaciones entre polígonos modelan y brindan soluciones a una gama de problemas del mundo real.…

Este artículo propone una aproximación dirigida por modelos para el desarrollo de Bases de Datos (BD) Objetos-Relacionales (OR). El punto de partida del proceso es un modelo conceptual de datos representado mediante un diagrama de clases UML. Tomando como entrada…

En el presente trabajo se muestra una propuesta de construcción de un software de Firma Digital valiéndose de métodos formales de especificación y desarrollo.
Se utiliza para la construcción de la propuesta el Lenguaje de Especificación RAISE (RSL), que es…

In C++, Generative Programming (GP) techniques are being used to generate highly customized and optimized products automatically manufactured at compile-time; to provide these functionalities increasing compiling power is required.
This work presents an improved compilation model for C++ by adding…

Este artículo reporta el trabajo de investigación realizado en base a datos extraídos de la Encuesta Anual realizada por la CESSI durante el año 2007 entre organizaciones dedicadas al desarrollo de Software en Argentina. Si bien la temática de mejora…