Se presenta aquí el proyecto de desarrollo de un sistema tal que permita controlar una flota de vehículos. El mismo hace referencia a la telemetría y georreferenciación brindando información de una unidad móvil en tiempo real, principalmente su estado y…

El estudio de las arquitecturas de los procesadores es esencial en la ciencia de la computación. Conocer el funcionamiento del procesador permite construir programas que aprovechen eficientemente sus recursos. El procesador DLX (Deluxe) se ha tomado como base para el…

LabAssistant es un proyecto de desarrollo de software para los laboratorios de ensayos científicos destinado a sistematizar la información de los ensayos que realizan.
Al ser un sistema de alcance general para todo el sector, se impone poder configurar la…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

Las redes móviles están en pleno auge desde no hace más de una década. Las redes móviles están compuestas por dispositivos que no siempre poseen conexión con la red.
Sobre los dispositivos pueden correr aplicaciones que, en caso de trabajar…

Con el proyecto presente: “investigación básica y aplicada en Bases de Datos Deductivas”; se pretende avanzar en el estudio, aplicaciones y desarrollo de técnicas para el procesamiento de consultas recursivas para bases de datos deductivas, tendientes a ofrecer alternativas de…

Este trabajo presenta un análisis desde el punto de vista tecnológico de AJAX y su la posibilidad de alcanzar la inserción de dicha tecnología en un marco conceptual y metodológico para el desarrollo de software.
El objetivo del trabajo es…

The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…

Los requerimientos son importantes en el desarrollo de software puesto que es inútil un sistema que no cumple con los requerimientos del cliente. Para descubrir estas necesidades se debe elegir a las fuentes adecuadas y relevar apropiadamente los requerimientos. Es…

Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects.
Structural analysis, based on…