Es notorio lo que la tendencia tecnológica ha motivado de diez años a esta parte el tener redes rápidas y confiables y microprocesadores con mayor performance y por menos dinero, también ha cambiado la relación precio/capacidad de las memorias.
Todo…

En este trabajo presentamos SmartBooks, un método para documentar frameworks orientados a objetos. En base a este método, es posible diseñar un agente inteligente que guíe el proceso de instanciación, ele acuerdo con la funcionalidad requerida para la aplicación que…

En este artículo se presenta un análisis de los frameworks Brainstorm/J y Framas desarrollados en el Instituto de Sistemas ISIST AN. El análisis tiene como objetivo determinar las ventajas y las limitaciones de cada uno de ellos en el desarrollo…

El desarrollo de un sistema de software requiere entender el macrosistema en el que será utilizado.
Para ello los ingenieros de requerimientos utilizan métodos para comprender y modelar los elementos del macrosistema. Client-oriented baseline (Leite 1995) contribuye a la solución…

Un sistema de memoria compartida consiste de una colección de procesos en comunicación, como en un sistema de red. Pero en vez de enviar y recibir mensajes sobre un canal de comunicación, los procesos realizan operaciones instantáneas sobre datos compartidos.

El descubrimiento de las Reglas de Asociación es una de las técnicas de Data Mining. Tiene como objetivo buscar patrones interesantes (reglas) para el soporte en los procesos de tomas de decisiones. Las Reglas de Asociación Temporales son aquellas que…

En la actualidad, debido a la evolución de las tecnologías de información y comunicación, tenemos la posibilidad de almacenar distintos tipos de información.
Podemos encontrar, por ejemplo en la Web, docenas de billones de documentos y cientos de millones de…

Este trabajo presenta una extensión de las máquinas de estados de UML con el uso de variabilidades en sus componentes esenciales para especificar líneas de productos. Eso se logra junto con el uso de modelos de funcionalidades para describir los…

La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO…

En nuestro trabajo estudiamos las consultas a bases de datos, o queries, usando como marco teórico la Teoría de Modelos Finitos ([AHV95] y [EF95]), con el objetivo de contribuir a la construcción de una Teoría de Bases de Datos que,…