Software Technologies: Applications and Foundations  STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /  [electronic resource] : 
edited by Paolo Milazzo, D�aniel Varr�o, Manuel Wimmer. 
 - XXXII, 472 p. 185 illus.  online resource. 
 - Lecture Notes in Computer Science,  9946  0302-9743 ; .
 - Lecture Notes in Computer Science,  9946 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783319502304 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-50230-4  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<br/>Artificial intelligence.<br/>Computer Science.<br/>Software Engineering.<br/>Logics and Meanings of Programs.<br/>Artificial Intelligence (incl. Robotics).<br/>Information Systems Applications (incl. Internet).<br/>Mathematical Logic and Formal Languages.<br/>Computer Communication Networks.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1