Examinando por Autor "Arboleda Jimenez, Hugo Fernando"

Mostrando 1 - 9 de 9

Active Learning and CDIO Implementation in Colombia
(Conceive Design Implement operate - CDIO, 2013-06-09) Ulloa Villegas, Gonzalo Vicente
In this paper we discuss common problems in Colombian universities in regard to engineering professional programs. We also discuss the reasons to implement a curriculum reform following the CDIO model at Icesi University, and present some preliminary results of implementing this reform, mainly concerning student motivation and attrition reduction The adoption of CDIO model is aimed not only to offer a integral engineering education, increase the quality of our programs, establishing a cycle of continuous improvement and also to encourage students by offering a challenging curriculum that focuse s its professional component on solving engineering problems.
Automated reasoning for derivation of model-driven SPLs
(Lancaster University, 2010-09-01) Vargas, Víctor;
Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules according to user choices captured in feature configurations. In this paper we propose an approach based on Constraint Programming to derive Model-Driven SPLs. Our contribution is twofold. First, we assist product line architects when relating transformation rules and features in order to derive prod- ucts based on feature configurations; the novelty is that we facilitate the management of feature interactions to architects. Second, current approaches to reason on feature models in SPL Engineering only deal with problems related to product configuration. We improve such approaches adding facilities for product derivation.
Automated reasoning for derivation of products in MD-SPLE
(IEEE, 2011-05-04) Arboleda Jimenez, Hugo Fernando
This article presents a strategy that aims to support model-oriented software product line architects on making the decisions required to derive products. Together with the strategy, we present a tool that uses the power of constraint programming to create and use decision models. The models make it possible to relate model transformation rules and product line variants (alternatives) in order to enable the selection of the necessary rules according to the variants selected by a product designer. The greatest innovation of our contribution is that we provide architects with a tool that takes into account the possible interactions between variants of a product line and makes it possible to model the decisions required to derive products reusing existing model transformation rules as much as possible. © 2011 IEEE.
Depuración y Evolución de Aplicaciones Distribuidas y Concurrentes
(Universidad Icesi, 2012-08-29) Durán, David
Este trabajo presenta una propuesta de un lenguaje que será la base para un framework de eventos que soporta la detección de patrones complejos en sistemas distribuidos, utilizando autómatas para modelar los patrones complejos de interacción entre los nodos que participan en el sistema distribuido. Por medio de la presentación de diferentes errores concurrentes comunes que ocurren o han ocurrido en aplicaciones industriales de esta índole, como el deadlock o los dataraces, se proponen soluciones a este tipo de inconvenientes utilizando el lenguaje propuesto, demostrando su utilidad y aplicabilidad.
Detecting and Coordinating Complex Patterns of Distributed Events with KETAL
(2011-12-29) Benavides Navarro, Luis Daniel
This paper presents an event-based kernel library designed to explicitly construct and coordinate complex interactions and communication patterns in distributed applications. The library integrates facilities for explicitly defining complex event patterns, detecting events in distributed systems, and validating sequences of events having into account causal ordering. Concretely we present the following contributions: i) An analysis of non trivial scenarios found in distributed applications in order to formulate a set of requirements and restrictions for a kernel event-based library, ii) the design and implementation of the library supporting the detection and coordination of complex event patterns and the support of causal manipulation of distributed events, iii) a qualitative evaluation of our approach showing how this library can be used to build a sophisticated distributed aspect oriented language. © 2011 Elsevier B.V.
Fiesta Toolkit: Model-Driven Software Product Lines in Practice
(2010-09-01) Romero, Andres
Model-Driven Software Product Lines (MD-SPLs) are those product lines whose members are created by using models and model transformations as first-class artifacts. In this paper we present the Fiesta toolkit, a set of tools to assist product line architects and products designers when creating MD-SPLs. The main characteristic of our toolkit is that it facilitates the creation of fine-grained configurations of products, i.e. configurations at the level of each element in models that will be transformed into product line members. For that, the toolkit includes a set of tools for the creation of MD-SPL projects, feature models, constraint models, binding models, OCL-type expressions to validate binding models against constraint models, and decision models.
A framework for the generation and management of self-adaptive enterprise applications
(IEEE, 2015-09-21) Tamura Morimitsu, Gabriel
Demand for self-adaptive enterprise applications has been on the rise over the last years. Such applications are expected to satisfy context-dependent quality requirements in varying execution conditions. Their dynamic nature constitutes challenges with respect to their architectural design and development, and the guarantee of the agreed quality scenarios at runtime. In this paper we present the constituting elements of Shift, a framework that integrates (i) facilities and mechanisms for managing self-adaptive enterprise applications, (ii) automated derivation of self-adaptive enterprise applications and their respective monitoring infrastructure, and (iii) decision support for the assisted recomposition of self-adaptive applications.
Java Component Refactoring Based on Communication Integrity Violations | Request PDF
(ResearchGate, 2010-01-01) Royer, Jean-Claude
To mitigate software architectural erosion, new languages and development methods have been proposed to make explicit the architectural decisions in the source code for the benefit of the programmers. Component Based Soft- ware Engineering (CBSE) is a trend which claims to improve software modularisation and to embed architectural concerns. Refactoring legacy code with components in mind needs tools to asses the compliance of the source code under analysis with component programming principles. The communication integrity property is one of the major principles to implement component based software architectures. In this paper we present a set of rules to prevent violation of the communication integrity property in legacy code and these rules are used to distinguish component types from data types. Furthermore, we provide refactoring actions in order to fix detected violations and thus to restructure Java legacy code with a pure and strict Java component model in mind.
Proceso de implementación de CDIO en programas de tecnologías de información y comunicaciones
(ACOFI - Asociación colombiana de Facultades de Ingeniería, 2013-09-02) Ulloa Villegas, Gonzalo Vicente
CDIO framework aims to improve the quality of programs that adopt it, setting standards for comprehensive training and defining a process of continuous improvement of curricula. Adopting CDIO implies a comprehensive reform to engineering curricula, including changes in teaching methodologies, evaluation of the learning process, and workspaces, among others. This paper presents the experience of implementing CDIO in two programs in the area of information and communications technologies (ICT). The implementation process was developed with the intention of improving the quality of engineering education, and in response to common problems in Latin America in these areas, particularly in the case of Colombia. Preliminary results are discussed, these are related to student motivation and dropout reduction, focusing on the experience during the implementation of the recommendations of CDIO programs in Systems Engineering and Telematics Engineering.