Software Technologies: Applications and Foundations, 1st ed. 2016 STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers Programming and Software Engineering Series
Coordonnateurs : Milazzo Paolo, Varró Dániel, Wimmer Manuel
Includes supplementary material: sn.pub/extras
Date de parution : 12-2016
Ouvrage de 472 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Software Technologies: Applications and Foundations :
Mots-clés :
data mining; formal methods; human computer interaction; logic; process mining; map-reduce; model-driven software engineering; modeling methodologies; OCL; SAT; software engineering; software system models; software verification and validation; UML; validation; verification; verification and validation; version control; visualization