Software Engineering

This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.

The main aim of this book is to introduce a group of models and modelling of information and knowledge comprehensibly.

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 refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023.

This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023.

This book constitutes the proceedings of the 16th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2023, which took place in Vienna, Austria, during November 28 - December 1, 2023.

This book constitutes the revised selected papers of the First International Conference, ICSD 2023, virtually held in Delhi, India, during July 15-16, 2023.

This book constitutes the refereed proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) which was held in Jeju, Korea in August, 2023.

This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.

This book constitutes the refereed proceedings of the 24th International Conference on Product-Focused Software Process Improvement, PROFES 2023, which took place in Dornbirn, Austria, in December 2023.

These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28-December 1, 2023.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4-6, 2023.

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5-6, 2023.

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 constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in  Medellin, Colombia, during August 10-11, 2023.

This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Evora, Portugal, during November 22-24, 2023.

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.

This book constitutes the refereed proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) which was held in Jeju, Korea in August, 2023.

This book constitutes revised selected papers from the refereed proceedings of the 17th Colombian Conference on Computing on Advances in Computing, CCC 2023, held in  Medellin, Colombia, during August 10-11, 2023.

This book constitutes the proceedings of the 16th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2023, which took place in Vienna, Austria, during November 28 - December 1, 2023.

This guidebook highlights the process of a software internship project facilitated by the Schulich School of Engineering.

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Chateau de Villebrumier, France, during January 23-25, 2023.

This book constitutes invited papers from the Second International Workshop on Frontiers in Software Engineering Education, FISEE 2023, which took place at the Chateau de Villebrumier, France, during January 23-25, 2023.

These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28-December 1, 2023.

This book mainly introduces the research overview, results, and achievements of "e;The Fundamental Research for Trustworthy Software"e;, a major research plan of NSFC.

These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28-December 1, 2023.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4-6, 2023.

This book provides comprehensive detail about modern C programming, including the standards C99, C11, C17, C23, reflecting recent updates.

The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.

This book constitutes the proceedings of the 18th International Conference, ICTERI 2023, held in Ivano-Frankivsk, Ukraine, during September 18-22, 2023.

This book provides comprehensive detail about modern C programming, including the standards C99, C11, C17, C23, reflecting recent updates.

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.

This book constitutes the refereed proceedings of the 20th International Conference on Virtual Reality and Mixed Reality, EuroXR 2023, held in Rotterdam, the Netherlands, during November 29-December 1, 2023.

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 refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023.

This book constitutes the refereed proceedings of the 20th International Conference on Virtual Reality and Mixed Reality, EuroXR 2023, held in Rotterdam, the Netherlands, during November 29-December 1, 2023.

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023.

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5-6, 2023.

The book reports state of the art results in Software Engineering Research, Management & Applications in both printed and electronic form.

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 constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, during September 28th, 2023 The 5 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 15 submissions.

This book constitutes the refereed proceedings of the 10th Workshop on Engineering Applications, WEA 2023, held in Cartagena, Colombia, during November 1-3, 2023.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 - Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6-10, 2023.

This book constitutes the refereed proceedings of the 29th International Conference on Cooperative Information Systems, CoopIS 2023, held in Groningen, The Netherlands, during October 30-November 3, 2023.

This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2023, held in Denton, TX, USA, in November 2023.

This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI  2023, held in Guayaquil, Ecuador, during November 13-16, 2023.

This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2023, held in Denton, TX, USA, in November 2023.

This book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.