Scielo RSS http://www.scielo.edu.uy/rss.php?pid=0717-500020140002&lang=es vol. 17 num. 2 lang. es http://www.scielo.edu.uy/img/en/fbpelogp.gif http://www.scielo.edu.uy http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200001&lng=es&nrm=iso&tlng=es http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200002&lng=es&nrm=iso&tlng=es The Requirements Engineering (RE) discipline is where the software system needs or requirements are captured; these are then “translated” into software components. At present, functional requirements are treated, but non-functional requirements (NFR) are neglected, causing problems at later stages of development. In an industrial software production context, product quality must be considered, and the Domain Analysis discipline within RE, proposes different approaches to treat NFR for building a Reference Architecture (RA) from which all products of a domain family can be generated. Consequently, the same process is adapted to different contexts and abstraction levels. This paper proposes a Unified Process for Domain Analysis (UPDA), based on Aspect and Goal orientations to deal with NFR, specified by quality standards to enhance communication. UPDA integrates techniques that are separately used: - the Chung and others extended process of Losavio and others, based on the NFR Framework with treatment of crosscutting concerns, and - the ISO/IEC 25010 quality standard to specify NFR. Three sub-processes constitute UPDA: - Construction of the quality model, - Identification of crosscutting concerns and - RA design. The main artifact obtained is the RA, which can be reused as an asset in the context of software product lines http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200003&lng=es&nrm=iso&tlng=es The most important result to standardize the notation for graphical representation of Business Processes (BPs) is the Business Process Model and Notation (BPMN). Despite the BPs modeled with BPMN being able to support business designers, BPMN models are not appropriate to support the analysis phase. BPMN models have no formal seman-tics to conduct qualitative analysis (validation and veri cation). In this work is presented how Model Checking (MC) veri cation technique for software and Timed Automata (TA) formal language are integrated within a formal veri cation approach to check BPs mod-eled with BPMN. Also, are introduced a set of guideline to transform BPMN models into TA. The use of our approach allow to business analysts and designers to perform evaluation (i.e., qualitative analysis) of BPs, based on the formal speci cation of BP{task model with TA. The application of the approach is aimed to evaluate the behavior of the BP{task model with respect to business performance indicators (for instance, service time, waiting time or queue size) derived from business needs, as is shown in an instance of an enterprise{project related to Customer Relationship Management http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200004&lng=es&nrm=iso&tlng=es The successful application of Information Technologies (IT) in an organization depends on the business processes used for managing such technologies. It is widely recognized that the use of the Enterprise Architecture (EA) practice for organizing these technologies into a framework is a key factor for achieving a better IT - business alignment. This article presents a business process model for the IT Management that can be used in medium and large organizations as a framework for modelling and analysing their IT management processes. The main difference between the described model and others found in the literature is that our model places EA concept at the centre of the organization of IT Management activities. It provides a better definition, organization and comprehension of the essential and support IT management activities. The described model is being used in several organizations as a referential framework to improve their current IT Management processes. http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200005&lng=es&nrm=iso&tlng=es This article describes an experience of technology transfer success of software for visually impaired children in Ecuador. The starting point was the personal experience of the author with his daughter with special needs. This fact allowed the development of AINIDIU (Intelligent agent for visually impaired children). AINIDIU is a computer-based technology to facilitate the interaction between visually impaired children and computers. The background, technological structure and evaluation of AINIDIU are described in this article. In addition, the process of transfer technology is described, in which a cooperation agreement was signed among Vice presidency of Ecuador, FENCE (Organization of blind people) and Universidad Indoamérica. In this context, Computer Science students installed the software in approximately 1,000 laptops donated by program "Misión Manuela Espejo" supported by Vice presidency of Ecuador. FENCE and students of Education career were responsible for training to teachers of schools, in the use of technologies and Virtual Learning Platform for blind people. As result of the process visually impaired children of 22 provinces of Ecuador were beneficed. The author motivated by this rewarding experience continues with new projects in the Doctoral Program in Computer Science of Universidad de Costa Rica http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200006&lng=es&nrm=iso&tlng=es This paper presents and discusses the results from an electronic survey on the use of free and open source software (FOSS) by local governments in Costa Rica. Barriers preventing the use of this type of software are also identified. Comparison of the results from this survey with those obtained from a previous one, conducted under the same project, shows that Costa Rican local governments are increasingly using FOSS. Cost advantages provided by FOSS might be the main reason for this trend. However, other factors need to be considered for justifying the use of FOSS. These factors need to be articulated into organizational strategies-isue in which Costa Rican local governments are falling behind http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200007&lng=es&nrm=iso&tlng=es In a group of individuals that come together to produce a good or provide a service, the cooperators (who pay to produce the good) are often exploited by those who receive the bene t without paying the cost. Models were developed over time using incentives (reward or punishment) and the option of abandoning the initiative to promote and stabilize the cooperation. In this paper we analyze several models based on the evolutionary game theory and public good games. We compare and organize them in a taxonomic table following their main characteristics to select the most suitable for a speci c problem. The analyzed models are compared by using a public good problem in community projects for water supply. We have reasonable assurance that phenomena that appear on mod-els also occurs in these community projects. Therefore, we propose that evolutionary game theory can be a useful tool for policy-makers in order to improve cooperation and discourage defection in sanitation boards http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200008&lng=es&nrm=iso&tlng=es This paper aims to present a learning model for coordination schemes in Multi-Agent Systems (MAS) based on Cultural Algorithms (CA). In this model, the individuals (one of the CA components) are the different conversations that may occur in any multi-agent systems, and the coordination scheme learned is at the level of the way to perform the communication protocols into the conversation. A conversation can has sub-conversations, and the sub-conversations and/or conversations are identified with a particular type of conversation associated with a certain interaction patterns. The interaction patterns use the coordination mechanisms existing in the literature. In order to simulate the proposed learning model, we develop a computational tool called CLEMAS, which has been used to apply the model to a case of study in industrial automation, related to a Faults Management System based on Agents http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200009&lng=es&nrm=iso&tlng=es Developments in parallel architectures are an important branch in computer science. The success of such architectures derives from their inherent ability to improve the program performances. However, their ability to improve the performance on programs depends on the parallelism extraction strategies, which are always limited by the logic of each sequential program. Speculation is the only known alternative to overcome these constraints and increase the parallelism. In this paper, we study the explicit speculative parallelism using a library of thread-level speculation. We present the design of this library and study different speculative models: speculation of decision structures, speculation of loops, and speculation of critical sections. Our study evaluates different cases taken from SPEC CPU 2000, allowing acceleration of about 1.8x in multicore architectures (four core) with coarse-grained multithreaded http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200010&lng=es&nrm=iso&tlng=es Forest fires are a major risk factor with strong impact at eco-environmental and socio-economical levels, reasons why their study and modeling are very important. However, the models frequently have a certain level of uncertainty in some input parameters given that they must be approximated or estimated, as a consequence of diverse difficulties to accurately measure the conditions of the phenomenon in real time. This has resulted in the development of several methods for the uncertainty reduction, whose trade-off between accuracy and complexity can vary significantly. The system ESS (Evolutionary-Statistical System) is a method whose aim is to reduce the uncertainty, by combining Statistical Analysis, High Performance Computing (HPC) and Parallel Evolutionary Al-gorithms (PEAs). The PEAs use several parameters that require adjustment and that determine the quality of their use. The calibration of the parameters is a crucial task for reaching a good performance and to improve the system output. This paper presents an empirical study of the parameters tuning to evaluate the effectiveness of different configurations and the impact of their use in the Forest Fires prediction. http://www.scielo.edu.uy/scielo.php?script=sci_arttext&pid=S0717-50002014000200011&lng=es&nrm=iso&tlng=es This work addresses the problem of recognizing the American Sign Language (ASL) hand alphabet relying only on depth information acquired from an RGB-D sensor. To accomplish this goal, a novel Iterative Closest Point (ICP) based recognition methodology is proposed where it comprehensively analyzes the inputs and outputs of the alignment as efficiency and accuracy determinants. Next, a novel classification technique, denoted Approximated KB-fit, is proposed to efficiently handle the space complexity of the database template matching. The overall accuracy of the recognition reached a performance of 99.04% in a cross-validation workbench with 520 distinct input depth images. The achieved frame rate was 7.41 FPS performed on a 2:4 GHz single processor based machine