Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…

Las perspectivas para la Ingeniería del Software (IS) y del Conocimiento (IC) conducen hacia un desarrollo conjunto que permita la construcción de sistemas que integren software convencional (SC) y software basado en conocimientos.

Alcanzado este punto, los desarrolladores de…

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…