Software Technologies: Applications and Foundations

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

AvPaolo Milazzo,Dániel Varró

Häftad, Engelska, 2016

Del 9946 i serien Lecture Notes in Computer Science

562 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2016-12-06
Mått:155 x 235 x 28 mm
Vikt:766 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:472
Förlag:Springer International Publishing AG
ISBN:9783319502298

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.