Recursos de colección

Universidad Nacional de La Plata (74.783 recursos)

Este servicio se brinda en el marco del Proyecto de Enlace de Bibliotecas (PrEBi) y significa una novedosa iniciativa en pos de la difusión a través de Internet, dentro y fuera del ámbito de la Universidad, de los conocimientos que en ella se generan para servir como vehículo de promoción y jerarquización. Los objetivos que se han planteados para SeDiCI son sumamente ambiciosos e incluyen la difusion electrónica de tesis, tesinas y disertaciones pero también de otros tipos de creaciones intelectuales, pretendiendo abarcar la ciencia, la tecnología y el arte buscando modos de presentación no solo de objetos en forma de documentos de texto sino también otros medios multimediales aptos para creaciones no documentales.

Simposio Argentino de Ingeniería de Software (ASSE 2016)

Mostrando recursos 1 - 20 de 26

  1. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

    Rosner, Nicolás; Geldenhuys, Jaco; Aguirre, Nazareno Matías; Visser, Willem
    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...

  2. An approach based on feature models and quality criteria for adapting component-based systems

    Sánchez, Luis Emiliano; Díaz Pace, J. Andrés; Zunino, Alejandro; Moisan, Sabine; Rigault, Jean Paul
    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.

  3. Towards Better Scrum Learning Using Learning Styles

    Scott, Ezequiel; Rodríguez, Guillermo Horacio; Soria, Alvaro; Campo, Marcelo
    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.

  4. An Optimization-based Tool to Support the cost-effective Production of Software Architecture Documentation

    Nicoletti, Matías; Schiaffino, Silvia; Díaz Pace, J. Andrés
    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.

  5. Oral Communication: Generating Network Data for Automated Unit Test Generation

    Arcuri, Andrea; Fraser, Gordon; Galeotti, Juan P.
    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.

  6. Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores

    Regis, Germán; Degiovanni, Renzo; D’Ippolito, Nicolás; Aguirre, Nazareno Matías
    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...

  7. Understanding and Addressing Exhibitionism in Java: Empirical Research about Method Accessibility

    Vidal, Santiago; Bergel, Alexandre; Marcos, Claudia A.; Díaz Pace, J. Andrés
    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.

  8. Interaction Models and Automated Control under Partial Observable Environments

    Ciolek, Daniel; Braberman, Victor Adrian; D'Ippolito, Nicolás; Piterman, Nir; Uchitel, Sebastián
    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...

  9. Declaratively building behavior by means of scenario clauses

    Asteasuain, Fernando; Braberman, Victor Adrian
    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 (

  10. Measuring the Impact of Agile Coaching on Students’ Performance

    Rodríguez, Guillermo Horacio; Soria, Alvaro; Campo, Marcelo
    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...

  11. A New Homogeneous Pure Birth Process based Software Reliability Model

    Barraza, Néstor Rubén
    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...

  12. Assured and Correct Dynamic Update of Controllers

    Nahabedian, L.; Braberman, Victor Adrian; D'Ippolito, N.; Honiden, Shinichi; Kramer, J.; Tei, K.; Uchitel, Sebastián
    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.

  13. TeXTracT: a Web-based Tool for Building NLP-enabled Applications

    Rago, Alejandro; Ramos, Facundo M.; Vélez, Juan I.; Díaz Pace, J. Andrés; Marcos, Claudio
    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...

  14. Sistemas colaborativos con awareness: requisitos para su modelado

    Bibbó, Luis Mariano; Giandini, Roxana Silvia; Pons, Claudia
    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...

  15. Aplicación para estimar costos en proyectos de software

    Lencina, Berenice; Medina, Yanina; Dapozo, Gladys N.
    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...

  16. Taxonomy-based Annotations for Variability Management

    Buccella, Agustina; Arias, Maximiliano; Pol'la, Matías; Cechich, Alejandra
    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.

  17. Uso de opciones reales para evaluar la contribución de metodologías KANBAN en desarrollo de software

    Colla, Pedro E.
    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...

  18. RADS: una herramienta para reutilizar estrategias en diseños de arquitecturas de software

    Carignano, María Celeste; Gonnet, Silvio M.; Leone, Horacio P.
    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...

  19. Modeling Web Service Selection for Composition as a Distributed Constraint Optimization Problem (DCOP)

    Anabalon, Diego; Garriga, Martín; Flores, Andrés P.
    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...

  20. Arquitectura de procesamiento centrada en metadatos de mediciones

    Diván, Mario José; Martín, María de los Ángeles
    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...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.