1 option
Software Technologies: Applications and Foundations : 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.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 9946
- Programming and Software Engineering, 2945-9168 ; 9946
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer science.
- Artificial intelligence.
- Application software.
- Machine theory.
- Computer networks.
- Software Engineering.
- Computer Science Logic and Foundations of Programming.
- Artificial Intelligence.
- Computer and Information Systems Applications.
- Formal Languages and Automata Theory.
- Computer Communication Networks.
- Local Subjects:
- Software Engineering.
- Computer Science Logic and Foundations of Programming.
- Artificial Intelligence.
- Computer and Information Systems Applications.
- Formal Languages and Automata Theory.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (XXXII, 472 pages) : 185 illustrations
- Edition:
- 1st ed. 2016.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2016.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-50230-4
- 9783319502304
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.