Las redes móviles están en pleno auge desde no hace más de una década. Las redes móviles están compuestas por dispositivos que no siempre poseen conexión con la red.
Sobre los dispositivos pueden correr aplicaciones que, en caso de trabajar…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

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…

Sumario:
1- Introducción a las bases de datos distribuidas
2- Replicación
3- Sincronización
4- Manejo de réplicas coordinadas
5- Presentación de un problema real
6- Implementación de una solución
7- Conclusiones

Se presenta una línea de investigación del Proyecto de la Facultad de Ingeniería de la Universidad de Buenos Aires I015: Manufactura Integrada por Computadora en Sistemas Complejos para el Desarrollo Social, Industrial y de Tecnología.
Se introduce conceptos básicos de…

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…

Sumario:
1- Introducción
2- Revisión bibliográfica
3- Etapas y características de un proceso de análisis de datos en un monitor de rendimiento
4- Arquitectura de la estrategia de análisis de datos
5- Instancia de la…