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…

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…

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…

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…

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…

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…

Este proyecto se centra en definir una arquitectura de integración entre sistemas de descubrimiento de conocimiento (adquisición automática) y sistemas basados en conocimiento (sistemas expertos). Se busca estimar la viabilidad de implementación de dicha arquitectura en función de la madurez…

Esta comunicación presenta el estado de avance del desarrollo de una herramienta para la evaluación de sistemas. El método de evaluación implementado es el Logic Scoring of Preference (LSP). Para cada caso concreto de evaluación, la herramienta permite la creación…