Software Engineering

This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanajuato, Mexico, during November 3–7, 2025.

This book explores how Artificial Intelligence (AI) and Software-Defined Networking (SDN) can transform the way modern networks are designed, secured, and operated.

This book covers proceedings of the 15th International conference for information society and technologies that brings together experts from various fields to discuss the latest advancements in using AI and IoT to shape a future industry, digitalization of health, well-being and sport, energy and environment, generative AI, and large language models, machine learning, and software engineering.

Real-life decisions are usually made in the state of uncertainty such as randomness and fuzziness.

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?

This book constitutes the refereed proceedings of the 4th International Conference on Transdisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage Addressing World Challenges, TMM-CH 2025, held in Athens, Greece during April 7-9, 2025.

This book constitutes the refereed proceedings of the 4th International Conference on Transdisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage Addressing World Challenges, TMM-CH 2025, held in Athens, Greece during April 7-9, 2025.

This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanajuato, Mexico, during November 3–7, 2025.

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.

This book constitutes the refereed proceedings of the Second European Workshop on Genetic Programming, EuroPG '99, held in Goteborg, Sweden in May 1999.

This book introduces the systems approach as a powerful framework for developing practical and implementable solutions to complex problems.

This book constitutes the refereed proceedings of the 15th EAI International Conference, BROADNETS 2024, held in Cardiff, UK, during December 14–15, 2024.

This book introduces the systems approach as a powerful framework for developing practical and implementable solutions to complex problems.

This book constitutes the refereed proceedings of the 15th EAI International Conference, BROADNETS 2024, held in Cardiff, UK, during December 14–15, 2024.

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

The ?

This textbook offers a comprehensive introduction to data science and financial technology, with a focus on advanced tools, data modeling, and their applications in FinTech.

This textbook offers a comprehensive introduction to data science and financial technology, with a focus on advanced tools, data modeling, and their applications in FinTech.

This book presents the Unified Architecture Process (UAP)—a comprehensive and methodologically rigorous framework designed specifically for addressing the challenges encountered in modern industrial software systems.

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.

This book is the ultimate guide to improving the user experience of game development tools.

This book is an up-to-date exploration of the relationship between user-centered design and Agile development.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.

This book constitutes the refereed proceedings of the 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025, held in Salerno, Italy, during December 1–3, 2025.

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.

This book presents the Unified Architecture Process (UAP)—a comprehensive and methodologically rigorous framework designed specifically for addressing the challenges encountered in modern industrial software systems.

This book constitutes the refereed proceedings of the 11th International Conference on Technologies and Innovation, CITI 2025, in Guayaquil, Ecuador, during December 2025.

This book constitutes the refereed proceedings of the 11th International Conference on Technologies and Innovation, CITI 2025, in Guayaquil, Ecuador, during December 2025.

This book is the ultimate guide to improving the user experience of game development tools.

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7–8, 2025.

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.

The two volume set LNBIP 566 - 567 constitutes the refereed post-conference proceedings of the 26th International Conference on Enterprise Information Systems, ICEIS 2024, which was held in Angers, France, during April 2024.

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén, Spain, during November 13–15, 2025.

This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.