Software Engineering

This book provides a focused overview of what role artificial intelligence (AI) plays on the design and process of system development and perspectives on making it more and more relevant and beneficial for our society.

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.

This two-volume set, LNICST 601 and LNICST 602, constitutes the refereed post-conference proceedings of the 14th International Conference on Broadband Communications, Networks, and Systems, BROADNETS 2024, held in Hyderabad, India, in February 16-17, 2024.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024.

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.

This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27-28, 2024.

This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27-28, 2024.

This two-volume set, IFIP AICT  726 and 727, constitutes the refereed proceedings of the 25th IFIP WG 5.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25-27, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, held in Kyoto, Japan, during November 18-24, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, held in Kyoto, Japan, during November 18-24, 2024.

This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024.

This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.

This book constitutes the proceedings of the First International Conference on Digital Product Management, ICDPM 2024, which took place in Gothenburg, Sweden, on June 12, 2024.

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 4-6, 2024.

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitoria, Brazil, during December 4-6, 2024.

This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024.

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering.

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering.

This book constitutes the refereed proceedings of the 25th International Conference on Engineering Applications of Neural Networks, EANN 2024, held in Corfu, Greece, during June 27-30, 2024.

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.

This Festschrift honors the remarkable career of Prof.

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.

This book constitutes the refereed proceedings of the 25th International Conference on Engineering Applications of Neural Networks, EANN 2024, held in Corfu, Greece, during June 27-30, 2024.

This book constitutes the refereed proceedings of the 14h International Symposium on Business Modeling and Software Design, BMSD 2024, which took place in Luxembourg, during July 1-3, 2024.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 2024.

This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 2024.

This book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

This book reports state-of-the-art results in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimaraes, Portugal, during May 2024.

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.

This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.

This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024.

This book constitutes the refereed proceedings of three International Workshops held as parallel events of the IFIP WG 12.

This book constitutes the refereed proceedings of three International Workshops held as parallel events of the IFIP WG 12.

This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023.

This book constitutes the refereed proceedings of the 6th Conference on Research in Computer Science, CRI 2023, held in Yaounde, Cameroon, during December 12-13, 2023.

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024.

This book constitutes the refereed proceedings of the 44th IFIP WG 6.

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024.

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

This introductory textbook on Java programming is different from others by its emphasis on test-driven development.

This book constitutes the proceedings of the 24th International Conference, ICWE 2024, held in Tampere, Finland, during June 17-20, 2024.

This book constitutes the proceedings of the 24th International Conference, ICWE 2024, held in Tampere, Finland, during June 17-20, 2024.

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1-4, 2024.