This paper presents a laboratory session of an advanced programming course to introduce students to the technology involved with the Java programming language. In this special lab session the educational software tool VisualJVM is used, providing a graphical front-end to…

En este proyecto se diseña un sistema para transmitir a una estación de control central, la deformación del suelo provocada por el movimiento del magma dentro del volcán que, al ejercer presión sobre las paredes internas, produce cambios en la…

Partiendo del reconocimiento de las dificultades curriculares que se encuentran en el proceso de enseñanza-aprendizaje de las Ciencias Naturales, en particular de los fenómenos ondulatorios y luminosos, se elaboró un software educativo como herramienta didáctica en formato digital, que cuenta…

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…

Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Se construyó un Analizador de Tráfico de Red - Poli Analizer el cual se enfoca en realizar un monitoreo de lo que está sucediendo en un punto de la red. El aporte de la tesis es la descripción del desarrollo…

El propósito general de este artículo se centra en
presentar una serie de herramientas para la
enseñanza a distancia de robótica industrial, que
permite a los usuarios interactuar con simulaciones
de robots reales de una manera intuitiva y
económica. Mediante…