This open access book aims to provide the reader with some basic insight into the AI Act (REGULATION (EU) 2024/1689) and its relevance for the development of high-risk AI systems. It covers all aspects relevant in a safety plan that should serve as the foundation for developing future safety cases for AI safety systems. The topics include e.g. the system definition; hardware, software and its l…
Organizations must gain insights into often fragmented and isolated data assets and overcome data silos to profitably leverage data as a strategic resource. Data catalogs are an increasingly popular approach to achieving these objectives. Despite the perceived importance of data catalogs in practice, relatively little research exists on how to design corporate data catalogs. It is also obvi…
This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, in May 2025. The 9 full and 2 short papers included in the proceedings, together with one invited keynote paper an…
The chapter discusses the importance of quantum software and defines it as a multifaceted concept comprising a theoretical, engineering, and application viewpoint. Hence, it covers aspects of quantum software theory, quantum software systems, as well as quantum software laboratory. The chapter also outlines the entire book and its individual chapters structured into three parts on quantum s…
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead …
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integr…
Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics. Data parallelism in C++ enables access to parallel resources in a mo…
oftware ist spätestens seit Mitte des 20. Jahrhunderts elementarer Bestandteil moderner Gesellschaften. Als Forschungsgegenstand der Soziologie ist sie lange nur punktuell in einzelnen Teilbereichen der Disziplin aufgetaucht (z. B. Suchman 1987; Ortmann et al. 1990; Orlikowski und Robey 1991; Rammert et al. 1998) oder wurde dann zum Thema, wenn aufsehenerregende Gesellschaftsanalysen (z. …
We outline the objectives of the book, setting them in the context of disaster risk management in a changing world and introducing the role of warnings in mitigating weather-related disasters. We describe the warning value chain, linking the needs of the decision-maker with forecasting capability; identify the blockages where information is lost, which we call the “valleys of death”; …
The book contains five papers that describe the works by Jannik Fischbach (Netlight Consulting GmbH and fortiss GmbH), who won the award, entitled Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction, Christian Kirchhof's (RWTH Aachen University) From Design to Reality: An Overview of the MontiThings …