Issues related to maternal mortality have generated a lot of empirical and theoretical information. However, despite the amount of work published on the topic, maternal mortality continues to occur at high rates and solutions to the problem are still not…

This paper describes an approach to On Line Analytical Processing (OLAP), expresed in the declarative programming paradigm.
We define a collection of functions that capture some of the functionality currently provided by multidimensional database product. This is done by defining…

La obtención de conocimiento a partir de la información existente es un proceso no trivial que consiste en identificar patrones válidos, novedosos, potencialmente útiles y comprensibles a partir de los datos disponibles. La Minería de Datos es el área de…

Se presenta un control automático simple para aplicaciones de caracterización óptica de materiales usando la técnica Z-scan. En particular, se enfatiza el proceso de automatización. Para este propósito, se usó un puerto de comunicación de I/O de una tarjeta de…

A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-oriented Architecture is an application architecture whose functionalities are defined as independent…

The software architecture role in agile methodologies is not sufficiently documented or formalized by means of a process consistent with the philosophy. The current work’s contributions are: 1) Defining guidelines to implement architecture practices in an agile way and so…

Although researchers noted the importance of effective communication among stakeholders, it continues to be a challenge for requirements engineering. Communication can be considered as a management tool since communication allows organisation’s personnel to produce a cohesive enterprise view. In this…

The paper presents a case study illustrating a collaborative problem solving process in Virtual Communities of Practice. The process relies on the existence of an underlying shared knowledge base – a repository of resources, and is carried out collaboratively by…

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly.
UML profiles extend UML syntax and semantic in order to…

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…