Beschreibung
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.
Inhalte
- Mathematische Grundlagen
- Spezifikation und Implementierung
- Entwicklungsprozesse mit formalen Methoden
- Konkrete Techniken und Werkzeuge: Beweisassistenten, Model Checking, SMT-Solver
Zielgruppe
- Softwarearchitekt:innen
- Entwickler:innen mit Architekturverantwortung
- Technical Leads
- Qualitätsverantwortliche
- IT-Expert:innen in sicherheitskritischen Projekten
Voraussetzungen
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.
Weitere Infos
Haben Sie Fragen zu diesem Kurs? Füllen Sie das folgende Formular aus und wir melden uns bei Ihnen.
Über den Anbieter
oose eG
Ein zertifizierter Anbieter für qualitativ hochwertige Kurse und Schulungen.
Mehr über oose eG