Mathematik braucht kein Mensch in der Softwarearchitektur. Außer es soll gut werden. Oder korrekt. Oder beides. Im Ernst – Mathematik kann bei vielen Aspekten der Architektur helfen: Mit Mathematik können wir wichtige Anforderungen so richtig festzurren (und das Vokabular aus der Mathematik hilft schon dabei, Anforderungen überhaupt zu finden). Die Menschheit benutzt Mathematik seit hunderten von Jahren zur Modellierung unserer Welt. Dieses Wissen können wir auch für Modellierung in unserer Architektur nutzen und besonders robuste und langlebige Modelle bauen.

Manchmal gelten für Teile unserer Architektur hohe Zuverlässigkeitsanforderungen: Mit Mathematik können wir sicherstellen, dass sie garantiert erfüllt werden (oder Architektur-Bugs zum Vorschein

bringen, die sonst nicht auffallen). Dafür braucht es kein Mathematikstudium, nur ein paar Techniken aus der Algebra und der Logik. Der Workshop ist eine Einführung mit Beispielen aus der Praxis und

mit Hands-on-Übungen. Schulmathematik reicht als Grundlage.