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…

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…

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…

En este trabajo presentamos la colorimetría y calibración de un monitor LCD para su aplicación en investigación sobre la percepción del color. Los experimentos colorimétricos se desarrollaron en lenguaje Java para estudiar la sensibilidad de la visión cromática respecto al…

Object-oriented frameworks are, perhaps, the most important reuse technology today available. This is so, because they enable the reuse of both code and design. However, the effective use of frameworks to instantiate new applications represents one of the most limiting…

The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous vectorial information. The architecture presented uses Java JMF API, which…

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

Descripción completa.

Descripción completa.

Descripción completa.