Limit search to items available for checkout
E-BOOK
Title Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers / Paolo MIlazzo, Dániel Varró, Manuel Wimmer (eds.).
Imprint Cham, Switzerland : Springer, 2016.

Copies/Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
Description 1 online resource
Series Lecture notes in computer science ; 9946
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 9946.
LNCS sublibrary. SL 2, Programming and software engineering.
Note Available only to authorized UTEP users.
Online resource; title from PDF title page (SpringerLink, viewed December 28, 2016).
Subject Computer software -- Congresses.
Genre Conference papers and proceedings.
Contents 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.
Summary 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.
Other Author Milazzo, Paolo, editor.
Varró, Dániel, editor.
Wimmer, Manuel, editor.
STAF (Federation of conferences) (2016 : Vienna, Austria)
DataMod (Symposium) (5th : 2016 : Vienna, Austria) jointly held conference.
GCM (Workshop) (7th : 2016 : Vienna, Austria) jointly held conference.
HOFM (Workshop) (3rd : 2016 : Vienna, Austria) jointly held conference.
MELO (Workshop) (2nd : 2016 : Vienna, Austria) jointly held conference.
SEMS (Workshop) (3rd : 2016 : Vienna, Austria) jointly held conference.
VeryComp (Workshop) (1st : 2016 : Vienna, Austria) jointly held conference.
Other Title Printed edition: 9783319502298