Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which…

The following research proposes a first approximation to the Dynamic Hypermedial Device modeling based on the analysis of interactions. In addition, the DEVS (Discrete EVents dynamic Systems) formalism is employed, which is particularly suitable for the modeling of discrete event…

Esta tesis presenta una estrategia en la Ingeniería de Requisitos, denominada SDRES, que intenta abordar temas poco tratados en la práctica real, tales como los cambios constantes en los requisitos, defectos del software originados en los requisitos, el contexto organizacional…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

This paper presents a proposal for an architecture that integrates knowledge discovery systems (automatic acquisition) and knowledge based systems (experts systems). This work formulates considerations over the viability of the implementation of this architecture according to the advance of the…

This paper addresses the problem of contour line extraction from scanned topographic maps in poor condition. A novel method is developed, using knowledge of cartography and graphics to extract contours by removing other layers which overlay the contours, and reconstructing…

A medida que las organizaciones crecen, existe una creciente necesidad de convertir el conocimiento personal en conocimiento organizacional. Por lo tanto, es posible vincular al Aprendizaje Organizacional y la Gestión del Conocimiento, considerando a ésta última como un proceso de…

In the last decade, several argument-based formalisms have emerged, with application in many areas, such as legal reasoning, autonomous agents and multi-agent systems; many are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks (AF).
Recent research in the area…

Most of the search engines available over the Web are based on mathematical approaches | classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…

In this article we will introduce certain considerations that must be taken into account while implementing the change operations of the belief change theory. The abstract models of bellief change make no considerations in respecto to the internal structures of…