TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

Descripción completa.

jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583.
Hoy por hoy es el framework para el desarrollo de Sistemas…

Desde que fue definido, el protocolo TCP se ha adaptado a un número considerable de cambios en su medioambiente de operación: definido en momentos en que la red subyacente estaba compuesta de vínculos homogéneos y pocos equipos conectados, ha visto…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

The objective of this work is to supply one more contribution to the scientific community presenting techniques that will be used in distributed systems that need file replications in real time guaranteeing the permanent availability of the system. As the…

Sumario:
1- Introducción
2- Sistemas móviles y sensibles al contexto
3- E-commerce y M-commerce
4- Hipermedia e hipermedia física
5- Descripción del sistema basado en hipermedia física
6- Diseño
7- Implementación
8-…

Sumario de la presentación:
I. Definición del Problema
II. Conceptos Generales
III. Debug
IV. Sistema de carga de clases en Java
V. AgletClassLoader
VI. Entendiendo la Excepción
VII. Resolviendo el problema
VIII.Conclusión

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…