Software Engineering

This book constitutes the proceedings of the 11th Ecuadorian Conference on Information and Communication Technologies, TICEC 2023, held in Cuenca, Ecuador, during October 18-20, 2023.

This book constitutes the proceedings of the 11th Ecuadorian Conference on Information and Communication Technologies, TICEC 2023, held in Cuenca, Ecuador, during October 18-20, 2023.

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII.

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 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 27th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2023, held in Zadar, Croatia, during September 26-29, 2023.

This book constitutes the refereed proceedings of the 27th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2023, held in Zadar, Croatia, during September 26-29, 2023.

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

Deliver fast, reliable, and maintainable applications by building backend servers, services, and frontends all in nothing but Rust.

This book is about managing the security of IT services in terms of organization, orchestration, and optimization.

This book constitutes the refereed proceedings of the 23rd International Conference on Innovations for Community Services, I4CS 2023, held in Bamberg, Germany, in September 2023.

This volume constitutes the refereed proceedings of the workshops held at the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023: The 7th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, IWCFS 2023, and The 3rd International Workshop on AI System Engineering: Math, Modelling and Software, AISys2023.

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research.

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.

The multi-volume set LNAI 14169 until  14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.

This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.

This book constitutes the refereed proceedings of the 24th IFIP WG 5.

The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.

This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023.

This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.

This volume constitutes selected and revised papers presented during the Third International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2023, held in Athens, Greece, in March 2023.

The multi-volume set LNAI 14169 until  14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.

This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11-13, 2023.

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.

This book constitutes the proceedings of the 22nd International Conference on Perspectives in Business Informatics Research, BIR 2023, which took place in Ascoli Piceno, Italy, in September 2023.

This book constitutes the refereed proceedings of the 24th IFIP WG 5.

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

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.

This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.

The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.

The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.

This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.

This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems.

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023.

This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.

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

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St.

This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023.

This book constitutes the refereed proceedings of the 29th International Conference on Collaboration Technologies and Social Computing, CollabTech 2023, held in Osaka, Japan, during August 29-September 1, 2023, in hybrid mode.

This book constitutes the refereed proceedings of the Second International Conference on Electronic Governance with Emerging Technologies, EGETC 2023, held in Poznan, Poland, during September 11-12, 2023.

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023.

This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.

This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.

This book provides a collection of cutting-edge research roadmaps that attempt to determine and perhaps even shape the future of software architecture research.