El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…

El presente trabajo, basado en la tesis de grado de los autores, provee la implementación de un mecanismo de prueba de dispositivos financieros con una base de costos considerablemente inferior a la de los mecanismos actualmente disponibles de verificación, basado…

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…

Descripción completa.

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++-

Busca la construcción de la aplicación para la ruta de los Yumbos, con la ayuda de nuevas herramientas de software libre se conseguirá obtener un portal wap, que con la tecnología en la actualidad se podrá observar en un teléfono…

La plataforma .NET de Microsoft, así como los entornos de programación en JAVA, se basan en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno…

Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…

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…