Software Engineering

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23-27, 2024.

This book is a self-contained introduction to engineering and testing machine learning (ML) systems.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.

This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.

This book constitutes thoroughly refereed and revised selected papers from the 12th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2023, held in Havana, Cuba, during October 16-17, 2023.

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024.

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024.

This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.

This book constitutes the refereed proceedings of the 21st International Conference on Virtual Reality and Mixed Reality, EuroXR 2024, held in Athens, Greece, during November 27-29, 2024.

This book constitutes the proceedings of the 17th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2024, which took place in Stockholm, Sweden, during December 3-5, 2024.

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.

This book constitutes the refereed proceedings of the 10th International Conference on Technologies and Innovation, CITI  2024, held in Guayaquil, Ecuador, during November 2024.

This book constitutes the proceedings of the 17th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2024, which took place in Stockholm, Sweden, during December 3-5, 2024.

This book constitutes the refereed proceedings of the 21st International Conference on Virtual Reality and Mixed Reality, EuroXR 2024, held in Athens, Greece, during November 27-29, 2024.

Design patterns and architectures for building production quality applications using functional programming.

This book constitutes thoroughly refereed and revised selected papers from the 12th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2023, held in Havana, Cuba, during October 16-17, 2023.

This book constitutes the refereed proceedings of the 10th International Conference on Technologies and Innovation, CITI  2024, held in Guayaquil, Ecuador, during November 2024.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.

This volume constitutes the refereed proceedings of the 21st International Conference on Software and Systems Reuse, ICSR 2024, held in Limassol, Cyprus, during June 19-20, 2024.

This volume constitutes the refereed proceedings of the 21st International Conference on Software and Systems Reuse, ICSR 2024, held in Limassol, Cyprus, during June 19-20, 2024.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture.

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024.

This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April 2024.

Clustering, a foundational technique in data analytics, finds diverse applications across scientific, technical, and business domains.

This book constitutes the refereed post proceedings of the 18th International Conference on Parallel Computational Technologies, PCT 2024, held in Chelyabinsk, Russia, in April 2024.

This book provides a comprehensive overview and introduction to Big Data Infrastructure technologies, existing cloud-based platforms, and tools for Big Data processing and data analytics, combining both a conceptual approach in architecture design and a practical approach in technology selection and project implementation.

This book provides a comprehensive overview and introduction to Big Data Infrastructure technologies, existing cloud-based platforms, and tools for Big Data processing and data analytics, combining both a conceptual approach in architecture design and a practical approach in technology selection and project implementation.

Clustering, a foundational technique in data analytics, finds diverse applications across scientific, technical, and business domains.

This book constitutes the refereed post-conference proceedings from the 15th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2023, held in Vancouver, British Columbia, Canada, during August 28 - September 1, 2023.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes.

This book constitutes the refereed proceedings of the 5th International Conference on Computing Science, Communication and Security, COMS2 2024, held in Mehsana, Gujarat, India, during February 6-7, 2024.

This book constitutes the refereed proceedings of the 5th International Conference on Computing Science, Communication and Security, COMS2 2024, held in Mehsana, Gujarat, India, during February 6-7, 2024.

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.

This book constitutes the refereed proceedings of the Third International Conference on Electronic Governance with Emerging Technologies, EGETC 2024, held in Jakarta, Indonesia, during September 25-26, 2024.

This book constitutes the refereed proceedings of the Third International Conference on Electronic Governance with Emerging Technologies, EGETC 2024, held in Jakarta, Indonesia, during September 25-26, 2024.

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024.

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.

This volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while also offering strategic insights into mitigative measures and proactive solutions.

This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

This volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while also offering strategic insights into mitigative measures and proactive solutions.