Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung

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.