Dieses Buch führt in die formalen Methoden ein, um kollektive adaptive Systeme quantitativ zu bewerten; es verbindet mathematische Modelle mit praktischen Beispielen aus der Softwareentwicklung und bietet damit einen klaren Leitfaden für Ingenieure und Forscher.