This book constitutes the thoroughly refereed post-proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2004, held in Bad Honnef, Germany in June 2004.
The 31 revised full papers presented together with 2 invited papers were carefully selected from 66 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph algorithms: trees; graph algorithms: recognition and decomposition; graph algorithms: various problems; optimization and approximation algorithms; parameterized complexity and...
This book constitutes the thoroughly refereed post-proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, ...
WhiletheSCM-10experimentprovedverysuccessful, theSCMcommunity feltthatitshouldgoforaformalworkshoponceagain. Infact, thiswouldopen uptheopportunitytodocumentcurrentresearchandfertilizethedevelopment ofthisdiscipline. Asaconsequence, thefollow-upworkshopSCM-11washeld as a co-located event with ICSE at Portland, Oregon in May 2003. The Call forPapersreceivedalivelyresponsewith36submissions, outofwhich15were acceptedforpublication(12longand3shortpapers). Thesepapersappearinthe secondpartofthisvolume, orderedbytopic. Inadditiontopaperpresentations,...
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...
Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonf...
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. applications: technical papers, and tool presentations.
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. ...
