7 resultados
Resultados de la búsqueda
Mostrando 1 - 7 de 7
Ítem Distributed local search based on a parallel neighborhood exploration for the rooted distance constrained mínimum spanning-tree problem(Universidad Icesi, 2019-01-01) Aristizábal, Andrés; Tamura Morimitsu, Gabriel; Asesor Tesis; Asesor TesisEl Rooted Distance Constrained Minimum Spanning-Tree Problem, Problema de Árbol de Recubrimiento Mínimo Acotado por Distancia con Raíz Fija, RDCMST por sus iniciales en inglés, es un problema de optimización conocido por ser NP-hard cuya solución se puede aplicar al diseño de redes de telecomunicaciones, entre otros. Investigaciones previas para resolver el problema RDCMST han propuesto soluciones que van desde algoritmos exactos, como los modelos clásicos de programación lineal, hasta métodos heurísticos que incluyen el uso de búsquedas locales. Por lo que sabemos, el estado del arte de este problema tiene al menos dos carencias importantes. Por un lado, no existen aproximaciones paralelas que hayan sido diseñadas para aprovechar varias unidades de procesamiento. Por el otro lado, las aproximaciones existentes están limitadas a instancias del problema de unos pocos miles de vértices.
Ítem Adaptación Automática de Software (in Spanish)(2011-03-31) Villegas Machado, Norha MilenaThe ability of organizations and their products, systems, and services to compete, adapt, and survive will depend increasingly on software and on the ability to integrate related software-intensive systems into systems of systems.Boehm (ICSE 2006)Ítem Automated reasoning for derivation of products in MD-SPLE(IEEE, 2011-05-04) Arboleda Jimenez, Hugo FernandoThis 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.Ítem A Framework for Automated and Composable Testing of Component-Based Services(IEEE, 2014-09-29) Villegas Machado, Norha MilenaThe vision of service-oriented computing has been largely developed on the fundamental principle of building systems by composing and orchestrating services in their control flow. Nowadays, software development is notably influenced by service-oriented architectures (SOAs), in which the quality of software systems is determined by the quality of the involved services and their actual composition. Despite the efforts on improving their individual quality, adding or replacing services in an evolving system can introduce failures, thus compromising the satisfaction of the system's functional and extra-functional requirements. These failures erode the trust in the SOA vision. Thus, a key issue for the industrial adoption of SOA is providing service providers, integrators, and consumers the means to build confidence that services behave according to the contracted quality conditions. In this paper we present a first version of PA SCA NI, a framework for specifying and executing test specifications for service-oriented systems.Ítem Herramienta de selección de prácticas ágiles para alivianar implementaciones de las áreas de proceso relevantes para arquitectura de software en compañías valoradas CMMI-DEV(Universidad Icesi, 2012-01-01) Llanos Mejía, Andrés Felipe; Gómez Arenas, Liliana del Socorro; AsesorLas implementaciones de modelos de madurez como CMMI-DEV 1.3, contribuyen a mejorar el desempeño de las organizaciones que se desenvuelven en el medio del software y por ende se han convertido en activos muy valiosos para estas. Sin embargo, dado que al implantar las prácticas de un modelo de referencia las empresas son libres de interpretar y definir la forma como las van a usar, en ésta libertad se corre el riesgo de no hacer buenas interpretaciones que conllevan a que las empresas definan procesos más robustos de lo que realmente necesitan para su negocio, haciéndolas menos competitivas en el mercado. Uno de los factores que afectan los tiempos y costos de los proyectos de software tiene que ver con la incorporación de prácticas de arquitectura de software, principalmente por lo relativamente extenso que puede llegar a ser la definición de una arquitectura y los costos hora hombre de un arquitecto de software con relación a otros perfiles comunes de la industria. Por lo que resulta relevante considerar mecanismos que permitan una implementación más eficiente y ágil de las actividades relacionadas con la arquitectura de software, como una manera de mejorar la productividad de las empresas desarrolladoras de software.Ítem 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.Ítem Java Component Refactoring Based on Communication Integrity Violations | Request PDF(ResearchGate, 2010-01-01) Royer, Jean-ClaudeTo 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.