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…

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…

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…

Segunda parte de la presentación sobre Java.

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

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

En este proyecto se diseña un sistema para transmitir a una estación de control central, la deformación del suelo provocada por el movimiento del magma dentro del volcán que, al ejercer presión sobre las paredes internas, produce cambios en la…

Partiendo del reconocimiento de las dificultades curriculares que se encuentran en el proceso de enseñanza-aprendizaje de las Ciencias Naturales, en particular de los fenómenos ondulatorios y luminosos, se elaboró un software educativo como herramienta didáctica en formato digital, que cuenta…

Descripción completa.