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.