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…

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…

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.

Time and change are notions that seems unavoidable in some areas of work and investigation, languages that can deal with these notions are necessary. At the same time, methods for a proper time handling are quite complex, mainly because problem’s…

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

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

In this position paper, the main steps to measure and evaluate quantitatively the quality of sites are shown. Besides, some specific models, criteria and procedures to apply in these activities are discussed by quoting case studies already performed (e.g., in…

En este trabajo se aplica y se adapta la metodología de desarrollo de software RUP (Rational Unified Proccess [Booch, Jacobson 1999]) para la construcción de un sistema distribuido de tiempo real semi-sof, time driven (distributed semi-soft real time system).El sistema…