ENGLISH

Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

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

Book information

Publisher
Springer International Publishing
Year
2016
ISBN
978-3-319-50229-8, 978-3-319-50230-4
DOI
10.1007/978-3-319-50230-4
Language
english
Format
PDF
Filesize
51 MB (53976816 bytes)
Series
Lecture Notes in Computer Science 9946
Edition
1
Pages
XXXII, 472\491
Time added
2016-12-28 02:00:00
Software Engineering;Logics and Meanings of Progra

Description

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.

Similar books