Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
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.