Descripción completa.

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…

Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.

Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-

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…

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…

Actualmente la inseguridad que presentan las organizaciones que se desempeñan
dentro del campo del comercio electrónico es sumamente agravante, es por ello
que nuestro proyecto se basó en el análisis de la seguridad en Servidores Web,
con la finalidad de…

Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones
distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada
a permitir que todos los usuarios de Internet sean capaces de participar
en la ejecución de aplicaciones distribuidas, usando una…

El presente proyecto fue desarrollado como trabajo de grado para optar por el
título de Ingeniero de Sistemas, cuyo objetivo fue implementar un SMS Gateway para
satisfacer el despliegue de servicios basados en mensajes de texto corto por la red…