Vai al contenuto principale della pagina
Titolo: |
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
![]() |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Edizione: | 1st ed. 2016. |
Descrizione fisica: | 1 online resource (XXXII, 472 p. 185 illus.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Computer logic | |
Artificial intelligence | |
Application software | |
Mathematical logic | |
Computer communication systems | |
Software Engineering | |
Logics and Meanings of Programs | |
Artificial Intelligence | |
Information Systems Applications (incl. Internet) | |
Mathematical Logic and Formal Languages | |
Computer Communication Networks | |
Persona (resp. second.): | MilazzoPaolo |
VarróDániel | |
WimmerManuel | |
Note generali: | Includes Index. |
Nota di contenuto: | 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. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Software Technologies: Applications and Foundations ![]() |
ISBN: | 3-319-50230-1 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465490103316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |