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…

El proyecto Apariencia Dinámica Web, fue desarrollada para proveer el servicio de diseño de las páginas y estandarización de las mismas, para que el usuario tenga un proyecto a su gusto y con los colores y diseños que el prefiera,…

Descripción completa.

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…

Segunda parte de la presentación sobre Java.

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…

El desarrollo de aplicaciones distribuidas está teniendo cada vez más auge entre las empresas del mundo; esto se debe a la gran importancia que ha adquirido el Internet en los últimos años. Para dar solución a esta necesidad surgen arquitecturas…

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

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…