Los esquemas de análisis sintáctico son un formalismo de definición de
algoritmos de análisis sintáctico que permite abstraer detalles de bajo nivel. En este
trabajo, presentamos una técnica de compilación para transformar automáticamente
un esquema de análisis sintáctico en una…

La aplicación “Cluster de Red” fue desarrollada para proveer alta disponibilidad de servicio computacional, similar o equivalente a las encontradas en las poderosas y costosas supercomputadoras clásicas. Esta aplicación esta diseñada para ser administrada mediante un entorno Web.

Descripción completa.

El objetivo principal de esta tesis es la creación una aplicación
que facilite a usuarios invidentes o con visión reducida y que hablen
español, el acceso a la información existente en la Web de
una manera fácil, natural y…

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

Por medio de su cuerpo, el ser humano es capaz de realizar
movimientos precisos y coordinados que le permiten llevar a cabo
infinidad de tareas y transformar su medio ambiente. Esta
capacidad ha sido fundamental para la…

LAS ASERCIONES SON CLAUSULAS LÓGICAS QUE SE INTEGRAN A LOS LENGUAJES DE PROGRAMACIÓN PARA MEJORAR LA ESPECIFICACIÓN Y LA VERIFICACIÓN. EL LENGUAJE JAVA NO TIENE RECURSOS DE ESTE TIPO. EN ESTE ARTÍCULOS SE PRESENTA UNA PROPUESTA DE INTEGRACIÓN DE ASERCIONES…

El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…

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…