Los sistemas distribuidos multimedia requieren transferencia de datos continua sobre periodos de tiempo relativamente altos, sincronización en el manejo de los diferentes tipos de datos (ejemplo: voz, sonido y video), espacios de almacenamiento extremadamente grandes, manejo de tiempo real y…

Los requerimientos son importantes en el desarrollo de software puesto que es inútil un sistema que no cumple con los requerimientos del cliente. Para descubrir estas necesidades se debe elegir a las fuentes adecuadas y relevar apropiadamente los requerimientos. Es…

En este trabajo se propone la especificación de un mecanismo de coordinación de agentes, los cuales definen un sistema de gestión de eventos autónomo. Esta especificación se lleva a cabo mediante la definición de los procesos de negociación que se…

En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.
Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…

Las bases de datos actuales permiten almacenar datos no estructurados tales como imágenes, sonido, video, datos geométricos, etc. Las tecnologías tradicionales de bases de datos no son aplicables en este ámbito. El modelo de bases de datos métrico-temporal permite abordar…

Las vías rápidas de información se nos presentan con una explosión de nuevos servicios y tareas basadas en computadoras, pero la complejidad de este nuevo entorno demanda un nuevo estilo de interacción entre el humano y la computadora, en la…

Los Patrones de Diseño ayudan a los desarrolladores de software a resolver problemas de diseño orientado a objetos que repetidamente ocurren.
Cuando estos adaptan patrones a soluciones particulares, muchas veces elaboran modelos usando UML. Sin embargo, a menudo, UML no…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal.
In particular, the usage of Model Checking in formal languages…

Los estudios de diversidad microbiológica basados en información genética involucran procesos computacionales fundados en la minería de datos y en la estimación estadística. Con el objetivo de obtener la riqueza de especies, entendida como el número de las mismas, y…

El artículo plantea la necesidad de una visión integral de los “santuarios de altura”, en toda su complejidad histórica-diacrónica, cultural y espacial. Busca enmarcar su estudio dentro una perspectiva regional, analizando asimismo su relación espacial con otro tipo de evidencia…