دانلود کتاب Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Name: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Availability: InStock
Author: Paolo Milazzo
ISBN: 9783319502298,9783319502304

by Paolo Milazzo, Dániel Varró, Manuel Wimmer (eds.)

عنوان فارسی: فن آوری های نرم افزاری: برنامه ها و مبانی: Workshop های ستف 2016: DataMod، GCM، HOFM، MELO، SEMS، VeryComp، وین اتریش، 4-8 ژوئیه 2016، مقالات منتخب تجدید نظر شده
ناشر: Springer International Publishing
سال: 2016
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): XXXII, 472
شابک: 9783319502298,9783319502304
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 51.48 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.