Applied intelligence, integrated with software, is an essential enabler for science and the new economy, creating new markets and new directions for a more reliable, flexible and robust society and empowering the exploration of our world in ever mor...Daugiau...
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were caref...Daugiau...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Daugiau...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Daugiau...
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joi...Daugiau...
This book constitutes the refereed proceedings of the 15th International Conference on Software Business, ICSOB 2024, which took place in Utrecht, The Netherlands, during November 18-20, 2024. The special theme of ICSOB 2024 was Ethics, Equity...Daugiau...
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 23, 2024.The 18 full papers included in t...Daugiau...
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024. The 55 papers incl...Daugiau...
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024. The 55 papers incl...Daugiau...
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invi...Daugiau...
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 care...Daugiau...
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 68, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this bo...Daugiau...
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submi...Daugiau...
This book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was Software for Digital Transforma...Daugiau...
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.The 49 full papers and 8 short papers present...Daugiau...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Euro...Daugiau...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Euro...Daugiau...
This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers,...Daugiau...
Published in 1993. Software reuse has been shown to achieve improvements in productivity, quality and timeliness of software. The collection of papers in this book were given at a seminar organized by UNICOM and the British Computer Society Softwa...Daugiau...
