Information and Communication Technologies
This book constitutes the refereed proceedings of the 12th Ecuadorian Conference on Information...
EAN: 9783031754302
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031753893
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031751066
Neural-Symbolic Learning and Reasoning
EAN: 9783031711664
Rewriting Logic and Its Applications
This book constitutes revised selected papers from the refereed proceedings of the 15th...
EAN: 9783031659409
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
This book constitutes the refereed proceedings of the tracks and workshops which complemented the...
EAN: 9783031663253
Verified Software. Theories, Tools and Experiments
This book constitutes the refereed proceedings of the 15th International Conference on Verified...
EAN: 9783031660634
Reuse and Software Quality
This volume constitutes the refereed proceedings of the 21st International Conference on Software...
EAN: 9783031664588
Software Design for Resilient Computer Systems
EAN: 9783031551383
Computational Science and Its Applications – ICCSA 2024
EAN: 9783031646072
Computational Science and Its Applications – ICCSA 2024
EAN: 9783031646041
Evaluation of Novel Approaches to Software Engineering
EAN: 9783031641817
Business Modeling and Software Design
EAN: 9783031640728
Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops
EAN: 9783031632266
Research in Computer Science
This book constitutes the refereed proceedings of the 6th Conference on Research in Computer...
EAN: 9783031631092
Pipeline for Automated Code Generation from Backlog Items (PACGBI)
This book investigates the potential and limitations of using Generative AI (GenAI) in terms of...
EAN: 9783658472078
