Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Lecture Notes in Computer Science: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Sale price
$49.49
Regular price
$54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science: 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
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.
Details
Published by: Springer
Publication Date: 2016-12-06
Format: Paperback
ISBN-13: 9783319502298
DOI: 10.1007/978-3-319-50230-4
Dimensions: 235cm x155cm
Pages: 472