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…

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…

Se presenta una línea de investigación del Proyecto de la Facultad de Ingeniería de la Universidad de Buenos Aires I015: Manufactura Integrada por Computadora en Sistemas Complejos para el Desarrollo Social, Industrial y de Tecnología.
Se introduce conceptos básicos de…

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

A la problemática del ingreso irrestricto en las universidades de nuestro país, debemos sumar la pobre calidad de la enseñanza en el nivel medio/polimodal, lo cual produce una combinación claramente negativa para un adecuado proceso de enseñanza-aprendizaje en los primeros…

La modelización del Proceso Software constituye un marco de referencia para la organización de las actividades que involucran todas las etapas del desarrollo, tendente a la resolución de problemas que el propio desarrollo de software plantea y genera a medida…

En este artículo se presenta la arquitectura y algunos detalles de la implementación de una aplicación Web (un juego virtual de tipo Trivial) que, sin el uso de ningún plug-in o applet, permite una gran interactividad entre los usuarios, hasta…

Esta línea de investigación pretende aportar a la mejora de los procesos de desarrollo de software, en particular los especificados con el Software Process Engineering Metamodel versión 2 (SPEM). El caso de estudio propuesto consiste en transformar la especificación en…

Este artículo presenta la definición, implementación y utilización de una red de microcontroladores. Necesariamente se han observado en el desarrollo del trabajo problemas inherentes a las temáticas de redes, sistemas operativos embebidos y sistemas distribuidos. Desde una perspectiva más general,…