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…

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…

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…

Inicialmente un grupo de desarrolladores de software enfrentaron el problema de disponer de una capa de software capaz de permitir el desarrollo ágil de aplicaciones Web, básicamente utilizando a PHP como lenguaje de trabajo y motores clásicos de Base de…

Este artículo describe la manera de utilizar Reglas de Predicción para la mejora del proceso de enseñanza-aprendizaje de la asignatura Computación que se desarrolla en la Facultad de Ingeniería de la Universidad de Buenos Aires.
El enfoque propuesto busca modelizar…

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…