"Software-Intensive Systems and New Computing Paradigms - Challenges and Visions", edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl and Axel Rauschmayer, and published by Springer in the "Lecture Notes in Computer Science" series vol. 5380, presents the results of the INTERLINK Working Group on software-intensive systems and novel computing paradigms. INTERLINK is a 'Coordinated Action', managed by ERCIM and funded by the Future and Emerging Technologies (FET) Unit of the European Commission, to identify emergent trends, their impact on the information society in the next 10-15 years, and the challenges they present to computing, software engineering, cognition and intelligence. The objective of the working group was to imagine the landscape in which the next generations of software-intensive systems will operate. To this end three workshops were organized on this topic to which over 30 leading researchers from Europe, Asia, Australia, USA and Canada were invited to present and discuss future R&D directions, challenges, and visions in this emerging area.
This volume starts with an overview of the current state of the art and the research challenges in engineering software-intensive systems. The remainder of the book consists of invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.