Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July . (Lecture Notes in Computer Science, 9946)

ISBN 10: 3319502298 / ISBN 13: 9783319502298

Published by Springer, 2017

About this Item

New.

Seller Inventory # ERICA80033195022986

Bibliographic Details

• Title: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July . (Lecture Notes in Computer Science, 9946)
• Publisher: Springer
• Publication Date: 2017
• Language: English
• ISBN 10: 3319502298
• ISBN 13: 9783319502298
• Binding: Paperback
• Condition: New
• Book Type: book

About this title

Synopsis

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.