Programming and Software Engineering

Software Technologies: Applications and Foundations

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

Editors: Milazzo, Paolo, Várro, Dániel, Wimmer, Manuel (Eds.)

Free Preview

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-319-50230-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-319-50229-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (36 chapters)

Table of contents (36 chapters)

Buy this book

eBook $64.99
price for USA in USD (gross)
  • ISBN 978-3-319-50230-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.99
price for USA in USD
  • ISBN 978-3-319-50229-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Technologies: Applications and Foundations
Book Subtitle
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Editors
  • Paolo Milazzo
  • Dániel Várro
  • Manuel Wimmer
Series Title
Programming and Software Engineering
Series Volume
9946
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-50230-4
DOI
10.1007/978-3-319-50230-4
Softcover ISBN
978-3-319-50229-8
Edition Number
1
Number of Pages
XXXII, 472
Number of Illustrations
185 b/w illustrations
Topics