En este trabajo se ha desarrollado, con fines didácticos y de investigación, un programa computacional para analizar problemas bidimensionales de transferencia de calor en estado estable mediante el método de los elementos finitos. La codificación del programa se realizó utilizando…

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…

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…

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…

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…

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…

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…

Nivel monográfico, Mérida, del 13 de marzo al 10 de abril de 2004

El objetivo de este proyecto, denominado MAPPA, fue el de incorporar una
herramienta de visualización en 2D al proyecto del volcán
Popocatépetl. La implementación del proyecto se basa en formatos
estándares propuestos por el W3C (XSLT y SVG),…

Descripción completa.