Software Technologies: Applications and Foundations
- STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
Medlemspris
- Du sparer kr. 20,00
- Fri fragt
-
Leveringstid: 4-7 Hverdage (Sendes fra fjernlager) Forventet levering: 25-02-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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.
Detaljer
- SprogEngelsk
- Sidetal472
- Udgivelsesdato06-12-2016
- ISBN139783319502298
- Forlag Springer International Publishing AG
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Software Technologies: Applications and Foundations
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Anvendt databehandling
- Software Technologies: Applications and Foundations
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Software Technologies: Applications and Foundations
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Software Technologies: Applications and Foundations
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Netværkskomponenter
- Software Technologies: Applications and Foundations
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Databaser
- Informationssøgning og informationsgenfinding
- Software Technologies: Applications and Foundations