Software Engineering

This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.

This Festschrift, dedicated to Frits W.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

The two-volume Proceedings set CCIS 1675 and 1676 constitutes the refereed proceedings of the Second International Conference, ARTIIS 2022, held in Santiago de Compostela, Spain, during September 12-15, 2022.

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.

The multi-volume set LNAI 13713 until 13718 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2022, which took place in Grenoble, France, in September 2022.

This book constitutes the proceedings of the 18th International Symposium on Applied Reconfigurable Computing, ARC 2022, held as a virtual event, in September 2022.

This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogota, Colombia, in November/December 2022.

This book contains extended and revised versions of the best papers presented at the 29th IFIP WG 10.

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.

Build and upgrade an automated software delivery pipeline that supports containerization, integration testing, semantic versioning, automated deployment, and more.

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.

This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.

The four-volume set CCIS 1791, 1792, 1793 and 1794 constitutes the refereed proceedings of the 29th International Conference on Neural Information Processing, ICONIP 2022, held as a virtual event, November 22-26, 2022.

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers.

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:* the 24th International Conference on Business Process Modeling, Development and Support, BPMDS 2023, and * the 28th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2023.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023.

This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.

This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.

Deliver software that does what it's supposed to do!

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 book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:* the 24th International Conference on Business Process Modeling, Development and Support, BPMDS 2023, and * the 28th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2023.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023.

This book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23-26, 2023.

This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.

This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.

Learn the fundamentals of Object-Oriented design by investigating goodand badcode!

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.

The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.

This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.

Business process management is usually treated from two different perspectives: business administration and computer science.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015.

The LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

This book focuses on exploring the use of software fault prediction in building reliable and robust software systems.

This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017.

This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.

This book constitutes the proceedings of the 4th Asia Pacific Requirements Engineering Symposium, APRES 2017, held in Melaka, Malaysia, in November 2017.

This book presents selected proceedings of the annual convention of the Computer Society of India.

This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018.

This book constitutes the refereed proceedings of the 7th International Conference on Geoinformatics in Sustainable Ecosystem and Society, GSES 2019, and First International Conference on Geospatial Artificial Intelligence for Urban Computing, GeoAI 2019, held in Guangzhou, China, in November 2019.