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…

Descripción completa.

El modelo de usuario es un conjunto de creencias acerca de un usuario en
particular, las cuales podemos inferir por:



Datos proporcionados por el usuario.


Inferidas por…

Este artículo presenta una evolución de un ambiente de simulación donde se modelizan e implementan situaciones en la que una BDD debe mantener la integridad de la información ante fallos producidos durante la ejecución de transacciones, enfocándose principalmente en la…

Esta tesis tiene como objetivos el estudio de modelos para la animación
y visualización de fenómenos naturales y la elaboración
de una aplicación para explicar estos fenómenos.

Los temas principales son la visualización y la animación por

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…

Segunda parte de la presentación sobre Java.

JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

Descripción completa.