This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Lasīt vairāk
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Lasīt vairāk
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, durin...Lasīt vairāk
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, durin...Lasīt vairāk
This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Ad...Lasīt vairāk
This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Ad...Lasīt vairāk
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.The 47 full papers presented were careful...Lasīt vairāk
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.The 47 full papers presented were careful...Lasīt vairāk
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (Int...Lasīt vairāk
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (Int...Lasīt vairāk
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022. The 10 full papers included i...Lasīt vairāk
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022. The 10 full papers included i...Lasīt vairāk
This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.The 15 full papers included in this book were carefully reviewed and selected fr...Lasīt vairāk
This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.The 15 full papers included in this book were carefully reviewed and selected fr...Lasīt vairāk
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16,...Lasīt vairāk
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16,...Lasīt vairāk
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2...Lasīt vairāk
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2...Lasīt vairāk
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected...Lasīt vairāk
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected...Lasīt vairāk
