Analyse von Softwareprozess-Modellen
Thema des vorliegenden Buches ist die Analyse von Softwareprozess-Modellen. Solche Modelle bilden die Grundlage prozessgesteuerter Softwareenwicklungs-Umgebungen (PSEU). Diese unterstützen die Durchführung insbesondere großer und räumlich verteilter Softwareprojekte, indem sie die Arbeit vieler Softwareentwickler geeignet koordinieren. Der Korrektheit eines Softwareprozess-Modells kommt ein hohes Maß an Bedeutung zu. Werden Fehler (d.h. Inkonsistenzen zwischen dem erwünschten Prozess und seinem Modell) erst zur Laufzeit ...