Software Engineering

This book constitutes the revised selected papers of the 16th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2022, held in Hersonissos, Crete, Greece, in July 2022.

This book constitutes refereed proceedings of the 10th Ecuadorian Conference on Information and Communication Technologies, TICEC 2022, held in Manta, Ecuador, in October 2022.

This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.

This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022.

This volume LNCS 13591 constitutes the proceedings of the International Conference on Cooperative Information Systems, CoopIS 2022, collocated with the Enterprise Design, Operations and Computing conference, EDOC 2022, in October 2022 in Bozen-Bolzano, Italy.

This book constitutes the proceedings of the Second International Workshop on Model-Driven Organizational and Business Agility, MOBA 2022, which took place in Leuven, Belgium, in June 2022.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022.

This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.

This book constitutes the proceedings of the 5th International Conference, ICC3 2021, held in Coimbatore, India, during December 16-18, 2021.

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17-19, 2022.

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022.

This book constitutes selected papers presented during the First International Conference on Bangabandhu and Digital Bangladesh, ICBBDB 2021, held in Dhaka, Bangladesh, in December 2021.

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.

This book provides a new model to explore discoverability and enhance the meaning of information.

This book constitutes the proceedings of the 21st International Conference on Perspectives in Business Informatics Research, BIR 2022, which took place in Rostock, Germany, in September 2022.

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.

This book constitutes the refereed proceedings of the Second Eurasian BIM Forum on Advances in Building Information Modeling, EBF 2021, held in Istanbul, Turkey, during November 11-12, 2021.

Last-mile delivery in cities, where the main problems are the traffic situation and ensuring access to customers' homes while maintaining their privacy, poses a substantial logistical challenge.

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022.

This book constitutes the refereed proceedings of the 19th International Conference on Virtual Reality and Mixed Reality, EuroXR 2022, held in Stuttgart, Germany, in September 2022.

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.

This book constitutes the refereed proceedings of the 10th International Symposium "e;From Data Models and Back"e;, DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022.

This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: ?

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.

This two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022.

This book is a collection of chapters from the IFIP working groups 13.

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022.

This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.

This two-volume set, LNCS 13426 and 13427, constitutes the thoroughly refereed proceedings of the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna in August 2022.

This book will provide a comprehensive guide to creating and managing a game jam.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 15th European Conference on Software Architecture, ECSA 2021, held in Vaxjo, Sweden*, in September 2021.

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2022, held in May 2022.

This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

This book constitutes the refereed proceedings of the 23rd IFIP WG 5.

This book contains the workshops papers presented at the 17th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, in September-October 2021.

This book constitutes the refereed conference proceedings of the 9th IFIP WG 13.

This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.

This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.

This volume constitutes the refereed proceedings of the workshops held at the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna, Austria, in August 2022: The 6th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems (IWCFS 2022); 4th International Workshop on Machine Learning and Knowledge Graphs (MLKgraphs 2022); 2nd International Workshop on Time Ordered Data (ProTime2022); 2nd International Workshop on AI System Engineering: Math, Modelling and Software (AISys2022); 1st International Workshop on Distributed Ledgers and Related Technologies (DLRT2022); 1st International Workshop on Applied Research, Technology Transfer and Knowledge Exchange in Software and Data Science (ARTE2022).

This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022.

This book constitutes the selected papers from the scientific satellite events held in conjunction with the19th International Conference on Service-Oriented Computing, ICSOC 2021.