http://sedici.unlp.edu.ar:80/handle/10915/57079 Mon, 09 Nov 2026 17:29:32 GMT 2026-11-09T17:29:32Z http://sedici.unlp.edu.ar:80/handle/10915/57306 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). In this article we present BLISS, a novel technique that builds upon BLI, extending it with field bound refinement and satisfiability checks. Field bounds are refined while a symbolic structure is concretized, avoiding cases that, due to the concrete part of the heap and the field bounds, can be deemed redundant. Satisfiability checks on refined symbolic heaps allow us to prune these heaps as soon as it can be confirmed that they cannot be extended to any valid concrete heap. Compared to LI and BLI, BLISS reduces the time required by LI by up to 4 orders of magnitude for the most complex data structures. Moreover, the number of partially symbolic structures obtained by exploring program paths is reduced by BLISS by over 50%, with reductions of over 90% in some cases (compared to LI). BLISS uses less memory than LI and BLI, which enables the exploration of states unreachable by previous techniques. Mon, 05 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57306 2016-12-05T00:00:00Z In this article we present BLISS, a novel technique that builds upon BLI, extending it with field bound refinement and satisfiability checks. Field bounds are refined while a symbolic structure is concretized, avoiding cases that, due to the concrete part of the heap and the field bounds, can be deemed redundant. Satisfiability checks on refined symbolic heaps allow us to prune these heaps as soon as it can be confirmed that they cannot be extended to any valid concrete heap. Compared to LI and BLI, BLISS reduces the time required by LI by up to 4 orders of magnitude for the most complex data structures. Moreover, the number of partially symbolic structures obtained by exploring program paths is reduced by BLISS by over 50%, with reductions of over 90% in some cases (compared to LI). BLISS uses less memory than LI and BLI, which enables the exploration of states unreachable by previous techniques. http://sedici.unlp.edu.ar:80/handle/10915/57304 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). We propose an approach for system adaptation based on the specification, measurement and optimization of quality attribute properties on feature models. Furthermore, we describe its integration into a platform for supporting the self-adaptation of component-based systems. Mon, 05 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57304 2016-12-05T00:00:00Z We propose an approach for system adaptation based on the specification, measurement and optimization of quality attribute properties on feature models. Furthermore, we describe its integration into a platform for supporting the self-adaptation of component-based systems. http://sedici.unlp.edu.ar:80/handle/10915/57303 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). The meshing hypothesis claims that when both teaching and learning styles are aligned, the students’ learning experience is enhanced. However, the literature fails to evidence support for the meshing hypothesis in the context of software engineering education and scrum learning. For this reason, our work aims to validate the use of strategies for teaching Scrum that fit students’ learning styles according to the Felder-Silverman model. Mon, 05 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57303 2016-12-05T00:00:00Z The meshing hypothesis claims that when both teaching and learning styles are aligned, the students’ learning experience is enhanced. However, the literature fails to evidence support for the meshing hypothesis in the context of software engineering education and scrum learning. For this reason, our work aims to validate the use of strategies for teaching Scrum that fit students’ learning styles according to the Felder-Silverman model. http://sedici.unlp.edu.ar:80/handle/10915/57302 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). We present a tool approach that aims at (i) assisting the documentation writer in their tasks and (ii) ensuring a cost-effective documentation process by means of optimization techniques. Our tool, called SADHelper, follows the principle of producing reader-oriented doc-umentation, in order to focus the available, and often limited, resources on gen-erating just enough documentation that satisfies the stakeholders' concerns. Mon, 05 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57302 2016-12-05T00:00:00Z We present a tool approach that aims at (i) assisting the documentation writer in their tasks and (ii) ensuring a cost-effective documentation process by means of optimization techniques. Our tool, called SADHelper, follows the principle of producing reader-oriented doc-umentation, in order to focus the available, and often limited, resources on gen-erating just enough documentation that satisfies the stakeholders' concerns. http://sedici.unlp.edu.ar:80/handle/10915/57301 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Although automated unit test generation techniques can in principle generate test suites that achieve high code coverage, in practice this is often inhibited by the dependence of the code under test on external resources. In particular, a common problem in modern programming languages is posed by code that involves networking (e.g., opening a TCP listening port). In order to generate tests for such code, we describe an approach where we mock (simulate) the networking interfaces of the Java standard library, such that a search-based test generator can treat the network as part of the test input space. Mon, 05 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57301 2016-12-05T00:00:00Z Although automated unit test generation techniques can in principle generate test suites that achieve high code coverage, in practice this is often inhibited by the dependence of the code under test on external resources. In particular, a common problem in modern programming languages is posed by code that involves networking (e.g., opening a TCP listening port). In order to generate tests for such code, we describe an approach where we mock (simulate) the networking interfaces of the Java standard library, such that a search-based test generator can treat the network as part of the test input space. http://sedici.unlp.edu.ar:80/handle/10915/57260 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enumeran ocurrencias de eventos, permitiendo caracterizar de una manera más natural e intuitiva propiedades en las cuales el número de veces que ocurren ciertos eventos del sistema es relevante. Si bien esta extensión es indecidible y estrictamente más expresiva que la lógica temporal lineal con fluentes, desarrollamos una técnica correcta pero incompleta para verificar propiedades de modelos de sistemas reactivos. Esta técnica, que reduce la verificación a la verificación que implementa LTSA, permite verificar automáticamente propiedades con presencia de estos fluentes contadores bajo ciertas cotas impuestas a los mismos. Destacamos las ventajas de contar con esta lógica para especificar propiedades de sistemas basados en eventos, entre ellas, la de contar con fórmulas mas concisas y fáciles de manipular y modificar. Para ello abordamos varios ejemplos relevantes de la literatura, comparando las especificaciones de propiedades con ambas lógicas. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57260 2016-12-02T00:00:00Z En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enumeran ocurrencias de eventos, permitiendo caracterizar de una manera más natural e intuitiva propiedades en las cuales el número de veces que ocurren ciertos eventos del sistema es relevante. Si bien esta extensión es indecidible y estrictamente más expresiva que la lógica temporal lineal con fluentes, desarrollamos una técnica correcta pero incompleta para verificar propiedades de modelos de sistemas reactivos. Esta técnica, que reduce la verificación a la verificación que implementa LTSA, permite verificar automáticamente propiedades con presencia de estos fluentes contadores bajo ciertas cotas impuestas a los mismos. Destacamos las ventajas de contar con esta lógica para especificar propiedades de sistemas basados en eventos, entre ellas, la de contar con fórmulas mas concisas y fáciles de manipular y modificar. Para ello abordamos varios ejemplos relevantes de la literatura, comparando las especificaciones de propiedades con ambas lógicas. http://sedici.unlp.edu.ar:80/handle/10915/57259 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). We have identified three patterns in the source code to identify over-exposed methods. We also propose an Eclipse plugin to guide practitioners in identifying over-exposed methods and refactoring their applications. Our plugin has been successfully used to refactor a non-trivial application. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57259 2016-12-02T00:00:00Z We have identified three patterns in the source code to identify over-exposed methods. We also propose an Eclipse plugin to guide practitioners in identifying over-exposed methods and refactoring their applications. Our plugin has been successfully used to refactor a non-trivial application. http://sedici.unlp.edu.ar:80/handle/10915/57258 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57258 2016-12-02T00:00:00Z The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them. http://sedici.unlp.edu.ar:80/handle/10915/57256 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). In this work we present the article “Declaratively building behavior by means of scenario clauses”. This article was accepted in January 2016 in the journal “Requirements Engineering”, ISSN: 0947-3602 (http://link.springer.com/journal/766). Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57256 2016-12-02T00:00:00Z In this work we present the article “Declaratively building behavior by means of scenario clauses”. This article was accepted in January 2016 in the journal “Requirements Engineering”, ISSN: 0947-3602 (http://link.springer.com/journal/766). http://sedici.unlp.edu.ar:80/handle/10915/57255 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Agile methods have been in the cutting-edge of software engineering as a means to improve management of software development processes. The widespread use of such methods in professional contexts has encouraged their integration into software engineering training and undergraduate courses. Although there are several research works that have focused on teaching Scrum through simulating a software development project, they have covered only the learning of practices within a Scrum team, and a few of them have tackled non-technical skills beyond the development practices. Thus, we claim that it is necessary to help students understand Scrum rules, clear project obstacles and tackle non-technical issues such as management and teamwork. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57255 2016-12-02T00:00:00Z Agile methods have been in the cutting-edge of software engineering as a means to improve management of software development processes. The widespread use of such methods in professional contexts has encouraged their integration into software engineering training and undergraduate courses. Although there are several research works that have focused on teaching Scrum through simulating a software development project, they have covered only the learning of practices within a Scrum team, and a few of them have tackled non-technical skills beyond the development practices. Thus, we claim that it is necessary to help students understand Scrum rules, clear project obstacles and tackle non-technical issues such as management and teamwork. http://sedici.unlp.edu.ar:80/handle/10915/57254 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Software Reliability models has been developed for decades. The majority of them are based on non homogeneous Poisson processes, where the failure rate is a non linear function of time. They are also well described by pure birth processes what leads to non homogeneous continuous time Markov chains (NHCTMC), as it is usually used in the simulation of the stochastic software failure process. We propose in this work a different and novel approach. We consider a failure rate that does not depend on time but depends non linearly on the number of failures λr(t) = λr. We use the parametric Empirical Bayes framework in order to estimate λr. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57254 2016-12-02T00:00:00Z Software Reliability models has been developed for decades. The majority of them are based on non homogeneous Poisson processes, where the failure rate is a non linear function of time. They are also well described by pure birth processes what leads to non homogeneous continuous time Markov chains (NHCTMC), as it is usually used in the simulation of the stochastic software failure process. We propose in this work a different and novel approach. We consider a failure rate that does not depend on time but depends non linearly on the number of failures λr(t) = λr. We use the parametric Empirical Bayes framework in order to estimate λr. http://sedici.unlp.edu.ar:80/handle/10915/57252 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57252 2016-12-02T00:00:00Z We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. http://sedici.unlp.edu.ar:80/handle/10915/57251 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Over the last few years, the software industry has showed an increasing interest for applications with Natural Language Processing (NLP) capabilities. Several cloud-based solutions have emerged with the purpose of simplifying and streamlining the integration of NLP techniques via Web services. These NLP techniques cover tasks such as language detection, entity recognition, sentiment analysis, classification, among others. However, the services provided are not always as extensible and configurable as a developer may want, preventing their use in industry-grade developments and limiting their adoption in specialized domains (e.g., for analyzing technical documentation). In this context, we have developed a tool called TeXTracT that is designed to be composable, extensible, configurable and accessible. In our tool, NLP techniques can be accessed independently and orchestrated in a pipeline via RESTful Web services. Moreover, the architecture supports the setup and deployment of NLP techniques on demand. The NLP infrastructure is built upon the UIMA framework, which defines communication protocols and uniform service interfaces for text analysis modules. TeXTracT has been evaluated in two case-studies to assess its pros and cons. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57251 2016-12-02T00:00:00Z Over the last few years, the software industry has showed an increasing interest for applications with Natural Language Processing (NLP) capabilities. Several cloud-based solutions have emerged with the purpose of simplifying and streamlining the integration of NLP techniques via Web services. These NLP techniques cover tasks such as language detection, entity recognition, sentiment analysis, classification, among others. However, the services provided are not always as extensible and configurable as a developer may want, preventing their use in industry-grade developments and limiting their adoption in specialized domains (e.g., for analyzing technical documentation). In this context, we have developed a tool called TeXTracT that is designed to be composable, extensible, configurable and accessible. In our tool, NLP techniques can be accessed independently and orchestrated in a pipeline via RESTful Web services. Moreover, the architecture supports the setup and deployment of NLP techniques on demand. The NLP infrastructure is built upon the UIMA framework, which defines communication protocols and uniform service interfaces for text analysis modules. TeXTracT has been evaluated in two case-studies to assess its pros and cons. http://sedici.unlp.edu.ar:80/handle/10915/57250 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). El concepto de awareness, que se define como la percepción y el conocimiento del grupo y sus actividades, constituye uno de los principales aspectos de los sistemas colaborativos. Los desarrolladores de software requieren lenguajes y herramientas de modelado que permitan expresar awareness en este tipo de sistemas. Este trabajo propone revisar publicaciones científicas con el objetivo de describir características que un modelo conceptual de sistemas colaborativos tiene que incorporar para incluir la funcionalidad de awareness. El resultado de esta investigación nos permitió enumerar requisitos que un modelo abstracto para tal fin debe cumplir. Se detectó que es especialmente necesario incluir los conceptos de proceso colaborativo y protocolo para poder modelar la dinámica entre los usuarios finales del sistema. Finalmente, la incorporación de estos conceptos requiere de awareness específico vinculado a cada uno de ellos que debe ser incluido también en el modelo resultante. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57250 2016-12-02T00:00:00Z El concepto de awareness, que se define como la percepción y el conocimiento del grupo y sus actividades, constituye uno de los principales aspectos de los sistemas colaborativos. Los desarrolladores de software requieren lenguajes y herramientas de modelado que permitan expresar awareness en este tipo de sistemas. Este trabajo propone revisar publicaciones científicas con el objetivo de describir características que un modelo conceptual de sistemas colaborativos tiene que incorporar para incluir la funcionalidad de awareness. El resultado de esta investigación nos permitió enumerar requisitos que un modelo abstracto para tal fin debe cumplir. Se detectó que es especialmente necesario incluir los conceptos de proceso colaborativo y protocolo para poder modelar la dinámica entre los usuarios finales del sistema. Finalmente, la incorporación de estos conceptos requiere de awareness específico vinculado a cada uno de ellos que debe ser incluido también en el modelo resultante. http://sedici.unlp.edu.ar:80/handle/10915/57248 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). La estimación es un factor que influye directamente en la calidad del software porque afecta la planificación de tiempo, recursos y presupuestos económicos en la gestión de proyectos. Una encuesta sobre las prácticas de estimación en las empresas o áreas de sistemas en la ciudad de Corrientes determinó que las técnicas más utilizadas son las que están basadas en el juicio de expertos, sin embargo, surge también que se conocen pero se utilizan poco las técnicas paramétricas que garantizan mayor precisión. Para contribuir con soluciones a esta problemática, en este trabajo se propone una herramienta web para estimar costos, basada en el método UCP CEIS – UFRO, el cual requiere información de los casos de uso, del proyecto y del equipo de trabajo. La aplicación implementa las funcionalidades necesarias para la estimación de costos y alma-cena datos históricos de los proyectos finalizados, los cuales retroalimentarán el sistema permitiendo mejorar las futuras estimaciones, o permitirán aportar in-formación para implementar técnicas predictivas del campo de la Inteligencia Artificial. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57248 2016-12-02T00:00:00Z La estimación es un factor que influye directamente en la calidad del software porque afecta la planificación de tiempo, recursos y presupuestos económicos en la gestión de proyectos. Una encuesta sobre las prácticas de estimación en las empresas o áreas de sistemas en la ciudad de Corrientes determinó que las técnicas más utilizadas son las que están basadas en el juicio de expertos, sin embargo, surge también que se conocen pero se utilizan poco las técnicas paramétricas que garantizan mayor precisión. Para contribuir con soluciones a esta problemática, en este trabajo se propone una herramienta web para estimar costos, basada en el método UCP CEIS – UFRO, el cual requiere información de los casos de uso, del proyecto y del equipo de trabajo. La aplicación implementa las funcionalidades necesarias para la estimación de costos y alma-cena datos históricos de los proyectos finalizados, los cuales retroalimentarán el sistema permitiendo mejorar las futuras estimaciones, o permitirán aportar in-formación para implementar técnicas predictivas del campo de la Inteligencia Artificial. http://sedici.unlp.edu.ar:80/handle/10915/57247 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Currently, variability management in software product lines requires novel mechanisms to deal with the inherent complexity of domain modeling. From this perspective, the construction of semantic artifacts, supporting the modeling and implementation of variability from users’ requirements to reuse component development, gives stakeholders a framework for communication and disambiguation. Our work is based on level-domain views and driven by taxonomy-based annotations for describing variability and commonality. We illustrate the proposal through a case study in the marine ecology domain, where results showed an improvement in development time. Fri, 02 Dec 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57247 2016-12-02T00:00:00Z Currently, variability management in software product lines requires novel mechanisms to deal with the inherent complexity of domain modeling. From this perspective, the construction of semantic artifacts, supporting the modeling and implementation of variability from users’ requirements to reuse component development, gives stakeholders a framework for communication and disambiguation. Our work is based on level-domain views and driven by taxonomy-based annotations for describing variability and commonality. We illustrate the proposal through a case study in the marine ecology domain, where results showed an improvement in development time. http://sedici.unlp.edu.ar:80/handle/10915/57165 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). Este artículo aborda el estudio preliminar de los factores que aportan valor al utilizar una metodología ágil Kanban aplicada al desarrollo de software, en particular en el desarrollo de software asociado a sistemas embebidos. La adopción de esta metodología se hace mayormente en base a expectativas subjetivas e historias de éxito, pero el abordaje formal de la caracterización de los factores que contribuyen al valor de la organización otras que la gestión de la capacidad del proceso y su ciclo de trabajo es aún escaso. Se modelan estos factores, se estiman los principales parámetros del modelo y se valida el resultado por medio de simulación. Finalmente se obtienen conclusiones y avizoran líneas de trabajo futuro. Wed, 30 Nov 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57165 2016-11-30T00:00:00Z Este artículo aborda el estudio preliminar de los factores que aportan valor al utilizar una metodología ágil Kanban aplicada al desarrollo de software, en particular en el desarrollo de software asociado a sistemas embebidos. La adopción de esta metodología se hace mayormente en base a expectativas subjetivas e historias de éxito, pero el abordaje formal de la caracterización de los factores que contribuyen al valor de la organización otras que la gestión de la capacidad del proceso y su ciclo de trabajo es aún escaso. Se modelan estos factores, se estiman los principales parámetros del modelo y se valida el resultado por medio de simulación. Finalmente se obtienen conclusiones y avizoran líneas de trabajo futuro. http://sedici.unlp.edu.ar:80/handle/10915/57164 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). El diseño de arquitecturas de software es un proceso altamente creativo que aún no ha sido estandarizado, por lo que las actividades llevadas a cabo para construir la arquitectura de un sistema son aquellas que los arquitectos involucrados consideran convenientes y pertinentes según el método de diseño que utilicen, su experiencia, conocimientos y habilidades personales. La reutilización es una práctica habitual dentro de dicha actividad. Sin embargo, no existen herramientas que asistan a los arquitectos para llevarla a cabo. En este trabajo se describe una herramienta de software construida con el objetivo de colaborar con los arquitectos de software en la recuperación de experiencias pasadas, propias y ajenas, para hacerlas accesibles de manera de que puedan ser reutilizadas durante el diseño de un nuevo sistema. Wed, 30 Nov 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57164 2016-11-30T00:00:00Z El diseño de arquitecturas de software es un proceso altamente creativo que aún no ha sido estandarizado, por lo que las actividades llevadas a cabo para construir la arquitectura de un sistema son aquellas que los arquitectos involucrados consideran convenientes y pertinentes según el método de diseño que utilicen, su experiencia, conocimientos y habilidades personales. La reutilización es una práctica habitual dentro de dicha actividad. Sin embargo, no existen herramientas que asistan a los arquitectos para llevarla a cabo. En este trabajo se describe una herramienta de software construida con el objetivo de colaborar con los arquitectos de software en la recuperación de experiencias pasadas, propias y ajenas, para hacerlas accesibles de manera de que puedan ser reutilizadas durante el diseño de un nuevo sistema. http://sedici.unlp.edu.ar:80/handle/10915/57163 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). During development of a Service-oriented Application, some software pieces could be fulfilled by the connection to Web Services. A list of candidate Web Services could be obtained by making use of any service discovery registry, which are then selected and integrated into the application. However, when it comes to a distributed system, multiple functional and non-functional constraints arise from the interaction between several service requesters and providers, particularly when composing different services. To overcome with such constraints, in this work we propose to model service selection and composition scenarios as Distributed Constraints Optimization Problems (DCOP).We propose different modeling approaches and develop representative examples to be solved through different DCOP algorithms. Also, we analyze the impact of possible extensions to the model in the computability of the problem. Wed, 30 Nov 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57163 2016-11-30T00:00:00Z During development of a Service-oriented Application, some software pieces could be fulfilled by the connection to Web Services. A list of candidate Web Services could be obtained by making use of any service discovery registry, which are then selected and integrated into the application. However, when it comes to a distributed system, multiple functional and non-functional constraints arise from the interaction between several service requesters and providers, particularly when composing different services. To overcome with such constraints, in this work we propose to model service selection and composition scenarios as Distributed Constraints Optimization Problems (DCOP).We propose different modeling approaches and develop representative examples to be solved through different DCOP algorithms. Also, we analyze the impact of possible extensions to the model in the computability of the problem. http://sedici.unlp.edu.ar:80/handle/10915/57162 Objeto de conferencia Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). El enfoque integrado de procesamiento de flujos de datos es un ges-tor de flujos de datos sustentado en un marco de medición y evaluación, que in-corpora comportamiento detectivo y predictivo mediante el empleo de las me-diciones y metadatos asociados. Aquí presentamos la Arquitectura de Procesa-miento centrada en Metadatos de Mediciones que evoluciona el esquema de procesamiento, extendiéndolo al ámbito de los repositorios Big Data, e incorpo-rando servicios por suscripción a partir de las fuentes de datos. Adicionalmente, una Memoria Organizacional permite guiar el entrenamiento de los clasificado-res como así también el proceso de toma de decisión en base al conocimiento previo documentado. Finalmente, un caso de aplicación sobre el RADAR de la Estación Experimental Anguil es presentado. Wed, 30 Nov 2016 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/57162 2016-11-30T00:00:00Z El enfoque integrado de procesamiento de flujos de datos es un ges-tor de flujos de datos sustentado en un marco de medición y evaluación, que in-corpora comportamiento detectivo y predictivo mediante el empleo de las me-diciones y metadatos asociados. Aquí presentamos la Arquitectura de Procesa-miento centrada en Metadatos de Mediciones que evoluciona el esquema de procesamiento, extendiéndolo al ámbito de los repositorios Big Data, e incorpo-rando servicios por suscripción a partir de las fuentes de datos. Adicionalmente, una Memoria Organizacional permite guiar el entrenamiento de los clasificado-res como así también el proceso de toma de decisión en base al conocimiento previo documentado. Finalmente, un caso de aplicación sobre el RADAR de la Estación Experimental Anguil es presentado.