This book constitutes the refereed proceedings of the 9th Software Quality Days Conference, SWQD 2017, held in Vienna, Austria, in January 2017. The SWQD conference offers a range of comprehensive and
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap
As interactive systems are quickly becoming integral to our everyday lives, this book investigates how we can make these systems, from desktop and mobile apps to more wearable and immersive applicatio
This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languag