Systematic mapping of software engineering management with an agile approach

El enfoque ágil ha generado una amplia variedad de estrategias para administrar con éxito diversos proyectos de software en todo el mundo. Además, podemos asegurar que los proyectos de software se han beneficiado de los métodos ágiles ya conocidos. En este sentido, este artículo busca demostrar cómo se aplica el enfoque ágil en las áreas de la gestión en la ingeniería del Software. Para ello, este estudio realiza un mapeo sistemático para identificar las principales tendencias en la gestión de la ingeniería de software con un enfoque ágil. Se han identificado un total de 1137 artículos, de los cuales 165 son relevantes para los fines de este estudio, estos indican que la entrega temprana de valor, un principio clave de la agilidad, sigue siendo la principal tendencia para el uso de métodos ágiles. Sin embargo, también existen fuertes tendencias enfocadas en puntos clave de la gestión en ingeniería de software, como optimizar la gestión de calidad, optimizar la especificación de requisitos, optimizar la gestión de riesgos y mejorar la comunicación y coordinación del equipo, estos resultados permitirán generar nuevas líneas de investigación para cada punto clave de la gestión en la ingeniería del software impactado por el enfoque ágil.The agile approach has generated a wide variety of strategies to successfully manage various software projects worldwide. In addition, we can ensure that software projects have benefited from the already known agile methods. In this sense, this article seeks to demonstrate how the agile approach is applied in Software engineering management areas. To do this, this study performs a systematic mapping to identify the main trends in software engineering management with an agile approach. A total of 1137 articles have identified, of which 165 are relevant for the purposes of this study, these indicate that early value delivery, a key principle of agility, continues to be the main trend for the use of agile methods. However, there are also strong trends focused on key points of management in software engineering, such as optimize quality management, optimize requirements specification, optimize risk management, and improve team communication and coordination, these results will allow generating new lines of research for each key point of management in software engineering impacted by the agile approach

RML: Runtime Monitoring Language

Runtime verification is a relatively new software verification technique that aims to prove the correctness of a specific run of a program, rather than statically verify the code. The program is instrumented in order to collect all the relevant information, and the resulting trace of events is inspected by a monitor that verifies its compliance with respect to a specification of the expected properties of the system under scrutiny. Many languages exist that can be used to formally express the expected behavior of a system, with different design choices and degrees of expressivity. This thesis presents RML, a specification language designed for runtime verification, with the goal of being completely modular and independent from the instrumentation and the kind of system being monitored. RML is highly expressive, and allows one to express complex, parametric, non-context-free properties concisely. RML is compiled down to TC, a lower level calculus, which is fully formalized with a deterministic, rewriting-based semantics. In order to evaluate the approach, an open source implementation has been developed, and several examples with Node.js programs have been tested. Benchmarks show the ability of the monitors automatically generated from RML specifications to effectively and efficiently verify complex properties

Agile software development in a context of plan-based organizations

Agile software development has increasingly been used in the last fifteen years with the goal of improving traditionally time-consuming and rather non-user friendly process of developing software code. As implications of agile development and its impact on employees are still unclear, it is important to understand the benefits, opportunities and limitations of this development or collaboration mechanism. Thus, empirical evidence with implications for decision makers in the field of corporate policy and software development is an open research field. This master thesis analyzes the potentials of agile software development and how this approach can be used to support the development processes in companies, in terms of efficiency, shorter time-to-market as well as better customer fit of the developed products or services. By exploring some of the key features of different methods and processes, the potentials and limitations of the selected approaches are analyzed and linked to recent literature insights

Agile software development in a context of plan-based organizations

Agile software development has increasingly been used in the last fifteen years with the goal of improving traditionally time-consuming and rather non-user friendly process of developing software code. As implications of agile development and its impact on employees are still unclear, it is important to understand the benefits, opportunities and limitations of this development or collaboration mechanism. Thus, empirical evidence with implications for decision makers in the field of corporate policy and software development is an open research field. This master thesis analyzes the potentials of agile software development and how this approach can be used to support the development processes in companies, in terms of efficiency, shorter time-to-market as well as better customer fit of the developed products or services. By exploring some of the key features of different methods and processes, the potentials and limitations of the selected approaches are analyzed and linked to recent literature insights

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications