Of software and change

Abstract

Change has been recognized as the distinguishing feature that makes software different from any other human-produced artifacts. Initial reflections on the urgent and unavoidable need to master change date back to the 1970s. However, despite the continuous progress that characterized software technology since, in practice, software change is still often handled as an afterthought, in an ad hoc and unprincipled manner. Agile development methods have been proposed and are now widely adopted to accommodate change during development. Recent extensions to also include operation-known as DevOps-are increasingly and successfully adopted by industry. Still, principled and rigorous foundations that can be taught, practiced, and replicated systematically are lacking.This paper argues that change has to become a first-class concept and that the development tools used by engineers and the runtime environment supporting software execution should be structured in a way that naturally accommodates change. It also provides a perspective along which several research approaches that were investigated by the community in the past decade might be integrated and extended to make this vision become true.Two main change categories are identified-evolution and adaptation-along with the forces that drive them. The paper discusses when and how the developed software can be designed in a way that it can self-adapt. It also discusses how the software itself can cooperate with humans in-the-loop to help them in their design and development efforts. Finally, it outlines a roadmap of future work needed to progress in the direction of supporting and automating software change that would lead to dependable adaptation and evolution.

Quantitative Verification of Stochastic Regular Expressions

“…In this thesis, the focus is more on the latter case; the incremental calculation especially for the modified models, in other words versions of the models. The versions of the systems, models or the system code usually bear small changes in the iterative development of the systems [64].…”

“…Also, the identification and optimization of the changes is still open to discussion for the probabilistic models during the incremental verification. The need for incremental verification has been recently studied as a far-reaching problem of the changing software [64]. We have captured the problem of efficient quantitative verification in the scope of evolving systems.…”

Context‐dependent reconfiguration of autonomous vehicles in mixed traffic

“…A DSPL brings this engineering process to runtime, where a single system is able to adapt its behaviour at runtime. 7,16 "Variability modelling" is the main activity of both SPLs and DSPLs, where the commonalities and variabilities of the system are specified. Then, the SPL engineering process generates products by selecting specific characteristics specified in the variability model.…”

“…A DSPL brings this engineering process to runtime, where a single system is able to adapt its behaviour at runtime. ()…”

Formal Methods and Agile Development: Towards a Happy Marriage

“…Excerpts from previous publications are included in this chapter, where appropriate. For complementary discussions of these issues, the reader may refer to [2,3,18,19,22].…”