|
Showing 1 - 4 of
4 matches in All Departments
|
Theory and Practice of Model Transformations - 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Paperback, 2014 ed.)
Davide Di Ruscio, Daniel Varro
|
R2,182
Discovery Miles 21 820
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 7th
International Conference on Model Transformation, ICMT 2014, held
in York, UK, in July 2014. The 14 revised papers were carefully
selected from 38 submissions. The papers have been organized in
topical sections on model transformation testing, foundations of
model synchronization, applications of model synchronization and
tracing and reverse engineering of transformations.
|
Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Paperback, 2013 ed.)
Vittorio Cortellessa, Daniel Varro
|
R1,589
Discovery Miles 15 890
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 16th International
Conference on Fundamental Approaches to Software Engineering, FASE
2013, held as part of the European Joint Conference on Theory and
Practice of Software, ETAPS 2013, which took place in Rome, Italy,
in March 2013. The 25 papers presented in this volume were
carefully reviewed and selected from 112 submissions. They are
organized in topical sections named: model-driven engineering;
verification and validation; software comprehension; analysis
tools; model-driven engineering: applications; model
transformations; and testing.
|
Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers (Paperback, 2012 ed.)
Andy Schurr, Daniel Varro, Gergely Varro
|
R1,990
Discovery Miles 19 900
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 4th International Symposium on Applications of
Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in
October 2011.
The 13 revised full papers presented together with 2 invited talks,
2 application reports and 3 tool demonstration papers were
carefully selected from 36 submissions during two rounds of
reviewing and improvement. The papers are organized in topical
sections on invited talk abstracts, model-driven engineering, graph
transformation applications, tool demonstrations, graph
transformation exploration techniques, graph transformation
semantics and reasoning, application reports and bidirectional
transformations.
|
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)
Paolo Milazzo, Daniel Varro, Manuel Wimmer
|
R3,062
Discovery Miles 30 620
|
Ships in 10 - 15 working days
|
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.
|
|