Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung
Samenvatting
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.
Specificaties
Inhoudsopgave
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht