Software Engineering

This book constitutes the refereed proceedings of the 11th International Symposium on Business Modeling and Software Design, BMSD 2021, which took place in Sofia, Bulgaria, in July 2021.

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.

This book constitutes the thoroughly refereed post-workshop proceedings of the 21st Chinese Lexical Semantics Workshop, CLSW 2020, held in Hong Kong, China in May 2020.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

This book provides a comprehensive coverage of hybrid high-order methods for computational mechanics.

This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.

This book constitutes extended, revised and selected papers from the 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, held in Rome, Italy, in April 2016.

This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment.

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019.

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.

This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.

Implement design patterns in .

This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.

Link the use of technology with long-term business goals to optimize the core elements in your organization: people, strategy, and operations.

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 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 refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 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 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.

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 book constitutes the refereed proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Virtual Event, November 2-4, 2020.

This book constitutes the proceedings of the 15th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2022, which took place in London, UK, during November 23-25, 2022.

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 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 refereed proceedings of the 9th International Conference on Machines, Computations, and Universality, MCU 2022, held in Debrecen, Hungary, in August/September 2022.

This book constitutes selected papers presented at the First International Workshop on Deceptive AI, DeceptECAI 2020, held in conjunction with the 24th European Conference on Artificial Intelligence, ECAI 2020, in Santiago de Compostela, Spain, in August 2020, and Second International Workshop on Deceptive AI, DeceptAI 2021, held in conjunction with the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021, in Montreal, Canada, in August 2021.

This book constitutes the refereed proceedings of the 20th International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021.

This book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan.

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021.

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 book will provide a comprehensive guide to creating and managing a game jam.

This Springer Brief presents a selection of tools and techniques which either enable or improve the use of DevOps for airborne software engineering.

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 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 the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022.

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP.

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021.

This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2022 which was held in Leuven, Belgium, in June 2022, as part of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 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 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.

This volume revised versions of the selected papers presented during the Third International Workshop on Advanced Virtual Environments and Education, WAVE 2021, held in Fortaleza, Brazil, in March 2021.

This book guides the reader through a design process that was tested and optimized in companies and design bureaus.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.

Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators.

This book provides a method to plan, develop, validate, or evolve the design of an enterprise architecture function so that it fully meets the organization's needs.