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

ISBN 10: 3319502298 / ISBN 13: 9783319502298

Published by Springer, 2016

About this Item

PRINT ON DEMAND pp. 504.

Seller Inventory # 18378557889

Bibliographic Details

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

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.