TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…

This paper describes an desktop application framework to be used with the Java Swing API. The goal of this framework is to promote the decoupling between the Frames and its actions, turning up the modularity of desktop application systems and…

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

El estudio de la radiactividad y su influencia en los seres vivos es un tema fundamental para la formación de los alumnos de los grados en Biología y Ciencias del Mar, y por lo tanto aparece incluido en el plan…

Descripción completa.

Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…

EGB-Virtual es un proyecto concebido desde la cátedra Laboratorio de Software de la Facultad de Informática de la UNLP y cuyo objetivo es realizar un aporte desde la Informática a la innovación pedagógica aplicada al nivel inicial y primer ciclo…

Descripción completa.