This volume contains the technical papers presented in six of the eight workshops collocated with “Software Technologies: Applications and Foundations (STAF 2016)”, a federation of leading conferences on software technologies. The workshops took place at TU Wien, Austria, during July 4–8, 2016. STAF 2016 brought together researchers and practitioners from both academia and industry to advance the state of the art on all aspects of software technology. The satellite workshops provided a highly interactive and collaborative environment to discuss emerging areas of software technologies, model-driven engineering, and formal methods. The six workshops whose papers are included in this volume are: – DataMod 2016 (5th International Symposium “From Data to Models and Back”) – GCM 2016 (7th International Workshop on Graph Computation Models) – HOFM 2016 (Third International Workshop on Human-Oriented Formal Methods) – MELO 2016 (Second International Workshop on Model-Driven Engineering, Logic and Optimization) – SEMS 2016 (Third International Workshop on Software Engineering Methods in Spreadsheets) – VeryComp 2016 (First International Workshop on Formal to Practical Software Verification and Composition)
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;
2016-01-01
Abstract
This volume contains the technical papers presented in six of the eight workshops collocated with “Software Technologies: Applications and Foundations (STAF 2016)”, a federation of leading conferences on software technologies. The workshops took place at TU Wien, Austria, during July 4–8, 2016. STAF 2016 brought together researchers and practitioners from both academia and industry to advance the state of the art on all aspects of software technology. The satellite workshops provided a highly interactive and collaborative environment to discuss emerging areas of software technologies, model-driven engineering, and formal methods. The six workshops whose papers are included in this volume are: – DataMod 2016 (5th International Symposium “From Data to Models and Back”) – GCM 2016 (7th International Workshop on Graph Computation Models) – HOFM 2016 (Third International Workshop on Human-Oriented Formal Methods) – MELO 2016 (Second International Workshop on Model-Driven Engineering, Logic and Optimization) – SEMS 2016 (Third International Workshop on Software Engineering Methods in Spreadsheets) – VeryComp 2016 (First International Workshop on Formal to Practical Software Verification and Composition)I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.