(Ilmumisaeg: 30-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
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...Loe edasi...
(Ilmumisaeg: 30-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
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...Loe edasi...
(Ilmumisaeg: 29-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471988)
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...Loe edasi...
(Ilmumisaeg: 29-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471988)
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...Loe edasi...
João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031472626)
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...Loe edasi...
João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031472626)
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...Loe edasi...
Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 29-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031423109)
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...Loe edasi...
Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 29-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031423109)
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...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
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...Loe edasi...
(Ilmumisaeg: 19-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031388286)
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...Loe edasi...
Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 18-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031372315)
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...Loe edasi...
Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 18-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031372315)
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...Loe edasi...
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 07-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031365973)
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...Loe edasi...
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 07-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031365973)
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...Loe edasi...
Sari: Lecture Notes in Business Information Processing
(Ilmumisaeg: 12-Jun-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031349850)
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,...Loe edasi...
Sari: Lecture Notes in Business Information Processing
(Ilmumisaeg: 12-Jun-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031349850)
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,...Loe edasi...
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212222)
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...Loe edasi...
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212222)
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...Loe edasi...
(Ilmumisaeg: 10-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212130)
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...Loe edasi...
(Ilmumisaeg: 10-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212130)
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...Loe edasi...
