Dieses Buch führt in moderne Modellierungsmethoden ein, erklärt systematische Analyse von Softwaresystemen und zeigt anhand neuer Fallstudien, wie agiles Design mit High‑Performance‑Computing verknüpft wird.