|  |
| |
| Artikel-Nr.:
858A-9783319502298 Herst.-Nr.:
9783319502298 EAN/GTIN:
9783319502298 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Paolo Milazzo; Dániel Varró; Manuel Wimmer | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, data mining, formal methods, human computer interaction, logic, process mining, map-reduce, model-driven software engineering, modeling methodologies, OCL, SAT |
| | |
| |