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.

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference, ICGT 2010, was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASS

ThisvolumecompilesallpaperspresentedattheInternationalSymposiumon- plications of Graph Transformation with Industrial Relevance (AGTIVE 2007). Thesubmissions?rstunderwentathoroughreviewprocessbeforeAGTIVE2007. Asecondreviewroundwasorganizedafterthesymposiumfor(1)?nalpaperv- sions of presented contributions, (2) additional short tool surveys, and (3) the results ofa separatetoolcompetition satellite event. AGTIVE 2007 was the third practice-orientedscienti?c meeting of the graph transformationcommunity. The aim of the AGTIVE seriesasa whole is to serve asaforumforallthosescientistsofthegraphtransformationcommunitythatare involved in the development of graph transformation tools and the application of graph transformation techniques-usually in an industrial setting. In more detail, our intentions were and still are to: 1. Bring the practice-oriented Graph Transformation community together 2. Study and integrate di?erent Graph Transformation approaches 3. Build a bridge between academia and industry In addition, AGTIVE 2007 laid a special emphasis on the role that graph transformation techniques play for model-driven system engineering languages, tools, and methods including the well-known standards of the Object Mana- ment Group (OMG). The ?rst AGTIVE symposium took place at Kerkrade, The Netherlands, in 1999. Its proceedings appeared as vol. 1779 of the Springer LNCS series. The second symposium, AGTIVE 2003, was held in Charlottesville, Virginia, USA. The proceedings were published as LNCS 3062. The conference location for AGTIVE 2007 was a historic site again: the Schlosshotel Bad Wilhelmsh] ohe, whichis nextto the Wilhelmsh] ohe Palaceabovethecity inthe famousBergpark of Kassel, right in the center of Germany. Kassel is a very old city that was ?rst mentioned in 913. In ancient times Castellum Cattorum was a forti?cation of the German Tribe of the unusually disciplined and well-organized Chatti (cf."

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday'shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4-9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.

Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehen unterschiedliche Modellierungssprachen zur Verfugung. Das Fachgebiet Modellierung befasst sich mit derartigen Modellen sowie mit ihren Beziehungen untereinander und auch mit dem Prozess der Modellerstellung. Der Workshop Modellierung wird 1999 zum zweiten Mal von sieben Fachgruppen der Gesellschaft fur Informatik veranstaltet. Dieser Tagungsband enthalt 11 Fachbeitrage, die reprasentativ fur die verschiedenen Aspekte des Themas Modellierung stehen. Zusatzlich sind Diskussionsbeitrage zu drei sehr aktuellen Fragestellungen im Zusammenhang mit Modellierung enthalten."