Revisions- Und Konsistenzkontrolle in Einer Integrierten Softwareentwicklungsumgebung

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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.