Software Technologies: Applications and Foundations
54,99 €
versandkostenfrei*

inkl. MwSt.
Versandfertig in 6-10 Tagen
27 °P sammeln
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
  • Produktdetails
  • Lecture Notes in Computer Science 9946
  • Verlag: Springer / Springer International Publishing / Springer, Berlin
  • Artikelnr. des Verlages: 978-3-319-50229-8
  • 1st ed. 2016
  • Seitenzahl: 504
  • Erscheinungstermin: 6. Dezember 2016
  • Englisch
  • Abmessung: 235mm x 155mm x 26mm
  • Gewicht: 756g
  • ISBN-13: 9783319502298
  • ISBN-10: 3319502298
  • Artikelnr.: 46776043
Inhaltsangabe
Practical and foundational advances in software technology.-  Formal foundations of software technology.- Testing and formal analysis.- Graph transformations and model transformations.- Model driven engineering, and tools.