En este trabajo se presenta un proyecto de incorporación de una herramienta de software para el control automatizado de los trabajos prácticos de los alumnos semivirtuales de la asignatura Introducción a la Informática, materia del primer año de la carrera…

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…

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…

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

La incorporación y uso adecuado de las TIC’s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…

Descripción completa.

jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583.
Hoy por hoy es el framework para el desarrollo de Sistemas…

Java for high performance and distributed computing.
(Baker, Mark A.; Shafi, Aamir y Grove, Matthew)


Abstract

The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…

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…