Search

This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. In 2022, the following workshops took place: ● 3rd International Workshop on Agility with Microservices Programming ● 2nd International Workshop on Agile Sustainability ● Agile and Education In 2023, six workshops were held: ● Workshop on Organisational Debt and Large-Scale Agile ● Workshop on Software-Intensive Business ● Workshop on Global and Hybrid Work ● Workshop on Fear-Based Agile Transformation ● Workshop on AI-assisted Agile ● Workshop on Agile-Quantum Software Engineering In 2022, 6 workshop papers were accepted for publication in these post-proceedings, out of 11 submissions, and in 2023, 15 papers were accepted for publication out of 38 submissions.

This open access book constitutes the revised selected papers of the First International Symposium on AI, Data and Digitalization, SAIDD 2023, held in Sogndal, Norway, during May 9–10, 2023. The 13 full papers included in this volume were carefully reviewed and selected from 42 submissions. The papers deal with the impact of data and AI on the digital revolution and their contribution to solving societal challenges.

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. 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 Ecosystem for Model-Driven IoT Applications, Sven Peldszus's (Ruhr University Bochum) research about Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants, Florian Rademacher's (RWTH Aachen University) work on Model-Driven Engineering of Microservice Architectures, and Alexander Trautsch's (University of Passau) Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.

This open access book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2019 (LEAP-ASIA-2019) following the LEAP-UCD-2017 whose results have been published as a first volume. In addition to the research targets set in the previous one, such as the repeatability, variability, and sensitivity of lateral spreading on mildly sloping liquefiable sand, this volume includes research efforts to validate the generalized scaling law (hereafter “GSL”) for the identical prototype with the one employed in UCD-2017. In LEAP-ASIA-2019, 10 institutes around the world conducted 23 tests in total. It was the first multi-institutional attempts to investigate the validity of the generalized scaling law for the saturated sandy sloping deposit with wide range of initial conditions. The experimental data provided a unique basis for assessing the capabilities of six different simulation platforms for numerical simulation of soil liquefaction. The results of the experiments and the numerical simulations are presented and discussed in papers submitted by the project participants.

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.

This open access book is a compilation of selected papers from 2023 DigitalFUTURES — The 5nd International Conference on Computational Design and Robotic Fabrication (CDRF 2023). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will encounter new ideas about understanding intelligence in architecture.

This open access volume brings together selected papers from the 8th International Conference on Attosecond Science and Technology. The contributions within represent the latest advances in attosecond science, covering recent progress in ultrafast electron dynamics in atoms, molecules, clusters, surfaces, solids, nanostructures and plasmas, as well as the generation of sub-femtosecond XUV and X-ray pulses, either through table-top laser setups or with X-ray free-electron lasers. In addition to highlighting key advances and outlining the state of the field, the conference and its proceedings serve to introduce junior researchers to the community, promote collaborations, and represent the global and topical diversity of the field.

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.

This open access volume is a collection of full papers based on the peer-reviewed presentations accepted for the European Researchers in Didactics of Biology, ERIDOB 2022 conference. ERIDOB aims to bring together researchers in didactics of Biology from Europe and around the world to share and discuss their research work and results. It is the only major international conference whose focus lies exclusively on biology education research, and all the papers are written by international researchers from across Europe (and beyond) which report on a range of contemporary biology education research projects. They are all entirely new papers describing new research in the field. Each paper has been peer-reviewed by experienced biology education researchers and the members of the ERIDOB Academic Committee. The selected papers are collated within the following categories of biology education: · Teaching Strategies and Learning Environments · Students’ Knowledge, Conceptions, Values, Attitudes and Motivation · Outdoor and Environmental Education · Biology Teachers’ Professional Development By providing a collection of new research findings from many countries, this book is a great resource for researchers and practitioners such as school, college and university biology teachers' around the world. It is useful for training biology teachers and therefore valuable to teacher training institutions.

This open access book includes a selection of innovative contributions presented at the 4th international conference “Smart and Sustainable Planning for Cities and Regions 2022”, held in Bolzano, Italy in July 2022. Featuring 10 papers by academics and consultants, strongly rooted in practical experiences and international projects, it discusses current ground-breaking research in innovative and sustainable planning for cities, with a focus on the environmental, economic, and social challenges associated with the global sustainability transition and energy systems integration. The contributions are illustrative of the richness of the issues discussed and the breadth of the emerging themes, including innovative business models for building and infrastructure at district level, integrated sustainability assessment schemes for Positive Energy Districts, a material flow accounting model for regional metabolism, energy communities as a lever to promote historical and landscape values, optimized and electrified last-mile logistics, multi-criteria decision analysis tools to redefine center/periphery relationships, a framework for socio-spatial analysis related to social practices, design principles and communication technologies improving both indoor and outdoor public spaces, augmented nature-based solution coupling the green elements with the latest technologies to deliver healthier and more appealing cities.

This open access book includes a selection of innovative contributions presented at the 4th international conference “Smart and Sustainable Planning for Cities and Regions 2022”, held in Bolzano, Italy in July 2022. Featuring 10 papers by academics and consultants, strongly rooted in practical experiences and international projects, it discusses current ground-breaking research in innovative and sustainable planning for cities, with a focus on the environmental, economic, and social challenges associated with the global sustainability transition and energy systems integration. The contributions are illustrative of the richness of the issues discussed and the breadth of the emerging themes, including innovative business models for building and infrastructure at district level, integrated sustainability assessment schemes for Positive Energy Districts, a material flow accounting model for regional metabolism, energy communities as a lever to promote historical and landscape values, optimized and electrified last-mile logistics, multi-criteria decision analysis tools to redefine center/periphery relationships, a framework for socio-spatial analysis related to social practices, design principles and communication technologies improving both indoor and outdoor public spaces, augmented nature-based solution coupling the green elements with the latest technologies to deliver healthier and more appealing cities.

This open access book constitutes the refereed proceedings of the 23rd International Conference on Software Business, ICSOB 2023, which was held in Lahti, Finland, during November 27–29, 2023. The special theme of ICSOB 2023 was Digital Agility: Mastering Change in Software Business and Digital Services. The 27 full papers and 8 short papers presented in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Requirements; software procurement; platforms, ecosystems and data; artificial intelligence; software startups; software product management; software and business co-development; and emerging digital world.

This open access volume of LIDC contributions focuses on how competition and intellectual property laws incorporate sustainability objectives. Businesses are increasingly embracing sustainability objectives, driven by the international community. Although competition and intellectual property law are certainly not the only tools for addressing sustainability issues, they can play a role in moving toward a more sustainable society. Sustainability has gained prominence in competition law in all jurisdictions covered in this volume. The contributions focus on classic questions such as whether sustainability agreements restrict competition and, if so, to what extent businesses can be exempted on efficiency grounds. The papers also raise a number of questions, in particular concerning the treatment of non-market efficiencies. The soft law and case law produced by competition authorities are examined, and the leadership role of some competition authorities in the field – from advocacy to policy papers and sustainability guidelines – is highlighted. The authors call for more individual guidance to provide enhanced transparency and clarity to industry, advisors and society at large on sustainability issues, with guidelines or sustainability-related block exemptions providing even greater legal certainty. With regard to intellectual property, the contributions examine various important issues, such as the need for intellectual property rights to remain technology-neutral, ways to promote the use of sustainable technologies and incentives for licensing, and ways to promote the dissemination of sustainable technologies, including compulsory licensing, cross-licensing, open source or FRAND licensing, and replacing the destruction of counterfeit goods with recycling. The papers also discuss greenwashing and how it can be addressed through revisions to trademarks and related rights.

This open access book is the first to provide an analysis of the Dutch paper industry over a period encompassing six centuries. Responding to a trend of renewed scholarly interest in paper industries and production, the book seeks to illuminate the factors behind this relatively small national industry’s centuries-long survival. Previous historical research has shown that sets of colonial, trade, merchant and family networks, tightly interwoven through a dense web of capital, were crucial for paper production and trade in early modern Europe. This book situates the Dutch paper industry within these overlapping contexts and their shifting dynamics over time, and historicizes the challenges and obstacles it had to overcome through four phases of capitalism: the rise of Dutch capitalism (1580–1815), Dutch monarchic liberalism (1815–1914), Fordism (1914–1980), and post-Fordism (1980 until now). Each chapter covers not only technological advancements in the industry, but its development alongside further determining dimensions, such as state-industry relations (industry policies), labour-capital relations (unions) and competition and cooperation, overall painting a picture of how the industry adapted to and endured changes in national and global networks surrounding the industry. This book will be of broad interest to scholars of economic and business history, as well as industrial history, political economy, and management studies.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.