Dániel Varró – författare & böcker

Del 8568 - Lecture Notes in Computer Science

Theory and Practice of Model Transformations

7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Häftad, Engelska, 2014

543 kr

Skickas inom 10-15 vardagar

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.

Theory and Practice of Model Transformations

7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

AvDaniel Varro,Davide Di Ruscio

E-bok

PDF, Engelska, 2014

629 kr

Läs direkt efter köp

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.

Del 9946 - Lecture Notes in Computer Science

Software Technologies: Applications and Foundations

STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

AvPaolo Milazzo,Dániel Varróm. fl.

Häftad, Engelska, 2016

565 kr

Skickas inom 10-15 vardagar

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.

Software Technologies: Applications and Foundations

STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

AvManuel Wimmer,Daniel Varrom. fl.

E-bok

PDF, Engelska, 2016

708 kr

Läs direkt efter köp

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.

Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

AvAndy Schürr,Dániel Varróm. fl.

Häftad, Engelska, 2012

506 kr

Skickas inom 10-15 vardagar

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.

Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

AvGergely Varro,Daniel Varrom. fl.

E-bok

PDF, Engelska, 2012

641 kr

Läs direkt efter köp

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.

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

AvVittorio Cortellessa,Dániel Varró

Häftad, Engelska, 2013

550 kr

Skickas inom 10-15 vardagar

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.

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

AvDaniel Varro,Vittorio Cortellessa

E-bok

PDF, Engelska, 2013

687 kr

Läs direkt efter köp

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.

Företag, bibliotek eller offentlig verksamhet?

Dániel Varró – författare

Theory and Practice of Model Transformations

Theory and Practice of Model Transformations

Software Technologies: Applications and Foundations

Software Technologies: Applications and Foundations

Applications of Graph Transformations with Industrial Relevance

Applications of Graph Transformations with Industrial Relevance

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration