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

La Programación Orientada a Aspectos (POA) permite implementar los requerimientos no funcionales de los sistemas software en unidades separadas denominadas aspectos. Ciertos aspectos son comunes a distintas aplicaciones de software, lo que hace necesario y beneficioso su reusabilidad. Pero no…

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…

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…

Este trabajo supone un estado de la cuestión sobre la zooarqueología del Musteriense
mediterráneo. Para ello se han analizado los datos procedentes del NR, el MNI, los perfiles
esqueléticos y los patrones de alteración ósea con el fin de dilucidar…

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…

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…

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…

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…