Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specificati...

This book examines the increased utilization of social media in daily life and its impact on social movements. The contributors analyze “social media revolutions” such as the Arab Spring, the 15-M movement in Spain, the Occupy Nigeria movement, and the Occupy Gezi movement in Turkey. The contributors to this collection—academics, researchers, and activists—implement diverse methodological approaches, both descriptive and quantitative, to cut across various disciplines, including communicat...

This book constitutes the proceedings of the 9th European Interdisciplinary Cybersecurity Conference, EICC 2025, which took place in Rennes, France, during June 18–19, 2025.The 21 full papers and 2 short papers included in these proveedings were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Artificial intelligence applied to cybersecurity; cybercrime and cyberthreats; cybersecurity; software development security; advances i...

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the w...