Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers - Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel (Springer International Publishing : Imprint: Springer, 2016)