Automated model analysis tools and techniques presented at FASE 2019
- PDF / 176,541 Bytes
- 3 Pages / 595.276 x 790.866 pts Page_size
- 28 Downloads / 155 Views
STTT Special Issue: FASE 2019
Automated model analysis tools and techniques presented at FASE 2019 Reiner Hähnle1 · Wil van der Aalst2
© The Author(s) 2020
Abstract This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service. Keywords Model transformation · Test generation · Model synchronization · Graph repair · Data flow analysis
1 Introduction Two technology-driven developments are currently having a massive impact on the way we live: the digitalization of everything, and world-wide, wireless connectivity over standardized protocols. The consequence is that all kinds of processes and services move from the physical realm to the software domain. In this sense, software is becoming quickly—and quite literally—the fabric of our technological and societal infrastructure. For this reason, the availability of reliable, secure, and trusted software becomes ever more crucial. At the same time, expectations are sometimes unrealistic. When building a bridge one would never dream of making drastic changes, e.g., adding two more lanes and a bus stop. However, when it comes to software we expect that things can be changed at any point in time. Also software is used in environments that did not exist during design. This is like designing a bridge for a canal in Amsterdam and deploying copies of it in Alaska and the Sahara. Subsequently, these deployed copies are updated every two weeks. Solid software engineering foundations and a good understanding of the fundamental properties of software are
B
essential for building reliable and sustainable “software bridges”. This requires substantial advances in software science. And here the academics and practitioners involved with FASE continue to make highly relevant contributions. Here we showcase a sample of these contributions. Originating from the 2019 edition of the International Conference on Fundamental Approaches to Software Engineering1 (FASE), this special issue contains revised and substantially extended versions of the strongest papers. FASE is concerned with the foundations on which software engineering is built. Accepted papers are supposed to contribute novel contributions to making software engineering a more mature and soundly based discipline. They must be supported by appropriate arguments and validation. Contributions combining the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. Specific topics of interest include: – Software engineering as an engineering discipline, including its interaction with and impact on society and economics; – Requirements engineering: capture, consistency, and change management of software requirements; – Software architectures: description and analysis of the architectu
Data Loading...
