Web Based Training - oose eG
Dieses Seminar ist Teil der Advanced Module der iSAQB-Zertifizierung für Software-Architekten (CPSA-A).
Warum formale Methoden?
Software steuert Maschinen, Fahrzeuge und Geschäftsprozesse. Fehler können teuer oder gefährlich sein. Tests prüfen einzelne Fälle. Formale Methoden gehen weiter: Du beschreibst Anforderungen mathematisch und zeigst, dass dein System sie in allen Fällen erfüllt. So erkennst du Schwächen im Entwurf früh und gezielt.
Modelle prüfen statt nur testen
Du lernst, Verhalten präzise zu spezifizieren und mit Model Checking oder SMT-Solvern zu analysieren. Beweisassistenten helfen dir, zentrale Eigenschaften sauber herzuleiten. Wir betrachten typische Einsatzfelder in sicherheitskritischen und wirtschaftlich sensiblen Systemen und ordnen die Techniken in deinen Architekturprozess ein.
| Termin | Ort | Preis* |
|---|---|---|
| 05.10.2026- 07.10.2026 | Hamburg | 2.748,90 € |
| 30.11.2026- 02.12.2026 | online | 2.748,90 € |
Du brauchst keine vertieften Mathematikkenntnisse. Erfahrung in Softwareentwicklung oder -architektur ist hilfreich. Eine vorherige iSAQB-Advanced-Schulung, etwa zu funktionaler Architektur oder domänenspezifischen Sprachen, erleichtert dir den Einstieg, ist aber keine Pflicht.
