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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Programming and Software Engineering ; ; 9946