During its 30-year existence, the International Workshop on Graph-Theoretic Concepts in Computer Science has become a distinguished and high-quality computer science event. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can successfully be applied to v- ious areas of computer science and by exposing new theories emerging from applications. In this way, WG provides a common ground for the exchange of information among people dealing with several graph problems and working in various disciplines. Thereby, the workshop contributes to forming an interdis- plinary research community. The original idea of the Workshop on Graph-Theoretic Concepts in C- puter Science was ingenuity in all theoretical aspects and applications of graph concepts, wherever applied. Within the last ten years, the development has strengthened in particular the topic of structural graph properties in relation to computational complexity. This workshop has become pivotal for the c- munity interested in these areas.An aimspeci?c to the 30thWG was to support the central role of WG in both of the prementioned areas on the one hand and on the other hand to promote its originally broader scope. The 30th WG was held at the Physikzentrum Bad Honnef, which serves as the main meeting point of the German Physical Society. It o?ers a secluded setting for research conferences, seminars, and workshops, and has proved to be especiallystimulatingforfruitful discussions.Talksweregiveninthenewlecture hall with a modern double rear projection, interactive electronic board, and full video conferencing equipment.

This book constitutes the joint post-proceedings and proceedings of the 10th and 11th International Symposium on Software Configuration Management, SCM 2001 and SCM 2003, held in Toronto, Canada in May 2001 and in Portland, OR, USA in May 2003. The 20 revised full papers presented were carefully reviewed and selected from a total of 58 submissions. The papers are organized in topical sections on version models, architecture, concurrency and distribution, component-based systems, education, and new applications.

The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Costs have to be reduced, the ti- to-market has to be shortened, and quality has to be improved. Skilled engineers andsophisticatedtoolsforsupportingtechnicalworkarenecessaryprerequisites, yettheyarenotsu?cientformeetingtheseambitiousgoals.Inaddition, thework of developers must be coordinated so that they cooperate smoothly. To this end, the steps of the development process have to be planned, an engineer executing a task must be provided with documents and tools, the results of development activities have to be fed back to management which in turn has to adjust the plan accordingly, the documents produced in di?erent working areas have to kept consistent with each other, etc. This book reports on models and tools for managing development processes. It provides both a survey of the current state of the art and presents our own contributions. The material covered in this book is based on research in di?- ent engineering disciplines (mechanical, software, and chemical engineering). It presents a uni?ed view on the management of development processes in these disciplines

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.

Dieses Buch beschreibt die Ergebnisse bzw. Ziele zweier grosserer Forschungsvorha ben, die beide von der Deutschen Forschungsgemeinschaft gefordert wurden bzw. werden, und die sich beide der Integration bestehender Anwendungssysteme fur die Unterstutzung von Entwicklungsprozessen in ingenieurwissenschaftlichen Disziplinen widmen. Dabei spielt in bei den Projekten die A-posteriori-Integration im Sinne des Zusammen schaltens existierender Entwicklungssysteme eine notwendige, aber untergeordnete Rolle. Integration ergibt sich namlich nur unzureichend durch software- und hardwaremassige Verknupfung der einzelnen Entwicklungssysteme. Statt dessen muss Integration auf ver besserte Funktionalitat des integrierten Gesamtsystems abzielen, durch Erweiterung der Funktionalitat der Einzelsysteme, insbesondere aber durch konzertiertes Zusammenwir ken der einzelnen Systeme im Verbund. Hierfur ist auch bei der Verwendung existierender Entwicklungssysteme zusatzliche Unterstutzungs- und Integrationsfunktionalitat zu reali sieren. Globale Zielsetzung dieser Bemuhungen ist somit die Verbesserung von Entwicklungs prozessen bezuglich deren Effizienz (schneller, kosten sparender) und Qualitat (weniger Sackgassen und Ruckgriffe, bessere Handhabung) durch Einsatz existierender und neuer Funktionalitat. Insbesondere muss eine solche Anstrengung darauf abzielen, die Qualitat des entstehenden komplexen Produkts des Prozesses zu verbessern (Konsistenz zwischen seinen Teilen, Wiederverwendung etc.). Diese Verbesserung von Entwicklungsprozessen ist eine wissenschaftliche Herausfor derung. Die Losung der zugrundeliegenden Probleme hat auch enorme wirtschaftliche Bedeutung in einem Hochlohnland. Auch in anderen Bereichen hat die Frage der Prozess verbesserung eine grosse Beachtung erlangt, z.B. fur Geschaftsprozesse in Unternehmen und Verwaltungen sowie fur Montage- und Fertigungsprozesse in Industrie und Handwerk."

Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bew{ltigen zu k-nnen.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch besch{ftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterst}tzen lassen. Zur Spezifikation der Funktionalit{t entsprechender Werkzeuge wird eine neuartige formale Methode eingesetzt, dieauf Graphen basiert. Hinsichtlich der Strukturbezogenheit und engen Integration geht der hier dargestellte Ansatz weit }ber g{ngige Konfigurationsverwaltungssysteme hinaus. Der Reiz des Buches liegt in der Anwendung formaler Methoden auf bedeutsame praktische Probleme der Konfigurationsverwaltung. Es wendet sich somit gleicherma en an Theoretiker und Praktiker.