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 Mathematik-Studium, nur ein paar Techniken aus der Algebra und der Logik. Der Workshop ist eine Einführung Beispielen aus der Praxis und mit Hands-On-Übungen. Schulmathematik reicht als Grundlage.