Description

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 knnen.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.

Spécifications