Effective document retrieval using domain knowledge and semantics is one of the major challenges in Information Retrieval. Over the last years, there has been a growing interest in ontologies as an artifact for human knowledge representation and a critical component…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

Many aspects of data processing are functional in nature and can take advantage of recent developments in the area of functional programming and calculi.
The work described in this paper is an attempt to contribute to this line of thought,…

Different types of middleware exist to facilitate the integration of software running on heterogeneous computing platforms. Message Oriented Middleware (MOM), for instance, enables the interaction between heterogeneous applications by exchanging packets of structured data (messages) through communication channels. The core…

The evaluation of metric of performance is useful in the evaluation of protocols, in the improvement of applications, in the content choice, among others. The obtaining of these metrics, it continues being a complex task because most of the time…

Program Comprehension is a Software Engineering discipline which aims to understand computer code written in a high-level programming language. Program Comprehension is useful for reuse, inspection, maintenance, reverse engineering and many other activities in the context of Software Engineering.
In…

The production of educational contents in academic environments has been traditionally developed without an integral plan which allows their adequate distribution and access. In addition, it produces effort duplication and misuse of resources. As a possible solution, this work proposes…

Nowadays, technology has become the key element to carry out the management, organization and fulfillment of the electoral process. The electoral process should be understood as the actions that entail the making of the electoral roll, citizen identification, the act…

In C++, Generative Programming (GP) techniques are being used to generate highly customized and optimized products automatically manufactured at compile-time; to provide these functionalities increasing compiling power is required.
This work presents an improved compilation model for C++ by adding…

Previous work in software product lines showed an increment of up to 10 times in productivity and product quality [SEI Prod_Line]; because of this, the software product line approach is critical for the success of a development project including a…