{"product_id":"software-technologies-applications-and-foundations-staf-2016-collocated-workshops-datamod-gcm-hofm-melo-sems-verycomp-vienna-austria-july-4-8-2016-revised-selected-papers-von-paolo-milazzo-daniel-varro-manuel-wimmer-manuel-wimmer-hrsg","title":"Software Technologies: Applications and Foundations","description":"This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319502298\"\u003e\u003ch3\u003eSTAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319502298","offer_id":39427062202461,"sku":"9783319502298","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/563503b9-2620-47b2-ad4e-9490e62ff61b.jpg?v=1773552197","url":"https:\/\/shop.autorenwelt.de\/products\/software-technologies-applications-and-foundations-staf-2016-collocated-workshops-datamod-gcm-hofm-melo-sems-verycomp-vienna-austria-july-4-8-2016-revised-selected-papers-von-paolo-milazzo-daniel-varro-manuel-wimmer-manuel-wimmer-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}