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…

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…

El objetivo central de esta línea de investigación consiste en proponer distintas metodologías formales para representar el conocimiento en diversos sistemas argumentativos.
Como todo sistema simbólico, los sistemas argumentativos emulan el proceso de razonamiento como una manipulación dediversos símbolos. Esto…

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel…

En un contexto educativo, hay esencialmente dos modos de aprovechar la capacidad de proceso y almacenamiento de una computadora: a) producir sistemas basados en el conocimiento (tales como servicios de Internet WWW, enciclopedias multimedia, etc.) en los que el usuario…

We faced with a society identified as a knowledge society, characterized by the rapid development of scientific and technological knowledge, the trends to new ways of working, studying, creating and sharing knowledge, is seen in organizations, and particularly in the…

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

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…

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…