iSAQB FMFormale Methoden Schulung
- 30 Credit Points für CPSA-A
Die Fakten
- Dauer
- 3 Tage
- Format
- Live Online
- Sprache
- Deutsch
- Credit Points
- 20 Technik und 10 Methodik
Preis pro Platz
ab1.800 €zzgl. MwSt.
Nächster Termin
30. Nov. – 2. Dez. 2026Live Online3 Termine
Worum es in diesem Training geht.
Du weist eine Systemeigenschaft mit einem Werkzeug nach, statt nur Beispiele zu testen.
- Aktueller Lehrplan
- 2024.1
- iSAQB · Advanced Level · FM
Nach dem Training kannst du:
- Spezifikationen in Logik formulieren
- Reichweite formaler Methoden einschätzen
- Formale Methoden schrittweise einführen
- Eigenschaften mit dem Model Checker prüfen
Termine für dieses Training.
3 Termine.
Gruppenrabatt ab 2 Plätzen in einer Buchung, automatisch im Checkout. Es gilt der höchste passende Rabatt.
November 2026
1 Termin, Live Online, Deutsch
- Mo–Mi–CET
Online
Ab 2 Plätzen in einer Buchung- Format
- Live mit Trainer
- Sprache
- Deutsch
- Trainer
- Dr. Michael Sperber
- Plätze
- 5+ Plätze frei
FrühbucherrabattAktueller Preis 1.935 €/ Platz
Regulärer Preis
2.150 €Du sparst 215 €zzgl. MwSt.
April 2027
1 Termin, Live Online, Deutsch
Mo–MiFolgt nochOnline
Ab 2 Plätzen in einer Buchung- Format
- Live mit Trainer
- Sprache
- Deutsch
- Trainer
- Dr. Michael Sperber
- Plätze
- Verfügbar
FrühbucherrabattAktueller Preis 1.800 €/ Platz
Regulärer Preis
2.000 €Du sparst 200 €zzgl. MwSt.
November 2027
1 Termin, Live Online, Deutsch
Di–DoFolgt nochOnline
Ab 2 Plätzen in einer Buchung- Format
- Live mit Trainer
- Sprache
- Deutsch
- Trainer
- Dr. Michael Sperber
- Plätze
- Verfügbar
FrühbucherrabattAktueller Preis 1.800 €/ Platz
Regulärer Preis
2.000 €Du sparst 200 €zzgl. MwSt.
Die Preise gelten pro Platz und verstehen sich zzgl. Mehrwertsteuer (MwSt.). Die Uhrzeiten sind in mitteleuropäischer Zeit (MEZ oder MESZ) angegeben, sofern bei einem Termin nichts anderes steht.
Du suchst eine Inhouse-Schulung zu FM für dein Team? Frag uns.
Ist dieses Training das richtige für dich?
Zielgruppe
Wenn einer dieser vier Sätze auf dich zutrifft, bist du hier genau richtig.
- Du entwirfst Systeme, in denen ein falsches Ergebnis untragbar ist.
- Du verantwortest Software, die Hardware steuert oder Geld bewegt.
- Dir reicht eine Testsuite aus Beispielen als Nachweis nicht.
- Du entscheidest, wo im Entwurf Verifikation ihren Aufwand wert ist.
Voraussetzungen
Empfohlen- Mathematik:
Grundkenntnisse in Algebra und in Logik
- Hilfreich:
Funktionale Programmierung, äquationales Schließen über Programme und die Semantik von Programmiersprachen erleichtern das Verständnis einiger Konzepte
Was das Training behandelt.
Grundlage ist iSAQB FM-Lehrplan 2024.1. Dein Trainer geht die Themen live mit der Gruppe durch.
- Logik
- Spezifikation und Implementierung
- Formale Methoden und der Entwicklungsprozess
- Tools
Nach dem Training kannst du
- Spezifikationen in Aussagen- und Prädikatenlogik lesen und schreiben
- Formale Spezifikationen von Spezifikationen per Beispiel abgrenzen
- Drei Spezifikationssprachen und ihre Ausdruckskraft vergleichen
- Bestimmen, welche Teile eines Systems formale Methoden erreichen
- Ausdruckskraft einer formalen Methode gegen ihren Aufwand abwägen
- Formale Methoden schrittweise über statische Typen und Property-Tests einführen
- Eigenschaften mit Model Checking, SMT-Solvern oder Beweisassistenten nachweisen
- Dynamisches Programmverhalten per abstrakter Interpretation vorhersagen
So läuft das Training ab.
- Vor dem Termin
Vor dem Training
Vor dem Albion-Training FM bekommst du die Unterlagen und die Zugangsdaten oder die Adresse des Veranstaltungsorts.
- Tag 1Tag 2Tag 3
Die Trainingstage
Die Trainingstage laufen online und vor Ort nach demselben Programm; die Zeiten stehen beim gebuchten Termin.
- Nach dem TrainingCredit Points und Zertifikat
Nach dem Training
Ab 80 % Anwesenheit bekommst du das Albion-Teilnahmezertifikat; die Credit Points zählen für die CPSA-A-Zulassung.
Credit Points, und das Zertifikat, das du mitnimmst.
Teilnahmezertifikat
Albion- Dafür brauchst du
- Mindestens 80 % der Trainingszeit anwesend
Credit Points
iSAQB30 Credit Points für CPSA-A
Dieses Training hat keine Prüfung.
- Technik
- 20 Credit Points
- Methodik
- 10 Credit Points
- Kommunikation
- 0 Credit Points
Was dir bis zum CPSA-A noch fehlt
Dieses Training bringt dir 30 der 70 nötigen Credit Points. Über alle Module zusammen brauchst du mindestens 10 Punkte in jedem Bereich.
Außerdem brauchst du das CPSA-F-Zertifikat (Foundation). Die übrigen Zulassungs- und Prüfungsbedingungen stehen in den offiziellen Regeln.
Warum du bei Albion buchst.
Jedes Versprechen hier lässt sich an den AGB messen, und es gilt für jedes Training.
Prüfbares digitales Zertifikat
Öffentliche PrüfseiteJedes Zertifikat, das Albion ausstellt, hat eine öffentliche Prüfseite, und im Zertifikats-Showroom siehst du zu jedem Zertifikat ein Beispiel.
Zum Zertifikats-ShowroomAkkreditierte Trainer, die als Architekten arbeiten
iSAQB-AkkreditierungDeine Trainer sind akkreditierte iSAQB-Trainer, die als Architekten arbeiten. Die Übungen kommen deshalb aus Systemen, die sie selbst gebaut haben.
Wer dieses Training leitet.
Akkreditiert für dieses Training.
Verwandte Module.
Formale Methoden bringt dir 20 technische und 10 methodische Punkte für CPSA-A. Der Bereich Kommunikation ist noch offen.
- Technik
- 20Minimum von 10 erreicht
- Methodik
- 10Minimum von 10 erreicht
- Kommunikation
- 0Offen: Minimum ist 10
Nur dieses Training. Deine bisherigen Module sind nicht mitgezählt. Für CPSA-A brauchst du 70 Punkte, mindestens 10 in jedem Bereich, dazu das Foundation-Zertifikat.
Module mit Punkten in Kommunikation
- SOFTSoft Skills für Architekt:innen0 technische, 0 methodische und 30 kommunikative Punkte24. Nov.2026ab 1.980 €24. Nov. 2026
- AGILAAgile Softwarearchitektur0 technische, 20 methodische und 10 kommunikative Punkte2. März2027ab 1.980 €2. März 2027
- DDDDomain-Driven Design0 technische, 20 methodische und 10 kommunikative Punkte24. Nov.2026ab 1.980 €24. Nov. 2026
- REQ4ARCRequirements für Softwarearchitekt:innen0 technische, 20 methodische und 10 kommunikative Punkte1. Dez.2026ab 1.980 €1. Dez. 2026
Fragen vor der Buchung.
Credit Points und Zertifikat
Das Albion-Training FM hat keine Prüfung und bringt CPSA-A-Credit-Points. Die Zertifizierung umfasst eine Hausarbeit und eine mündliche Prüfung durch vom iSAQB benannte Fachleute, nach Erfüllung aller Zulassungsvoraussetzungen.
Das Albion-Training FM bringt dir 30 Credit Points nach dem iSAQB-FM-Lehrplan 2024.1: 20 im technischen Kompetenzbereich, 10 im methodischen und keine im kommunikativen.
Für das Albion-Training FM bekommst du ab 80 % Anwesenheit das Albion-Teilnahmezertifikat mit öffentlicher Prüfseite. Es hängt an der Anwesenheit, nicht an einer Prüfung.
Das Training
Für das Albion-Training FM brauchst du keine CPSA-F-Zertifizierung. Der Lehrplan 2024.1 erwartet Grundkenntnisse in Algebra und Logik; die bestandene Foundation-Prüfung gehört zu den Voraussetzungen der CPSA-A-Zertifizierung.
Das Albion-Training FM ist nicht nur für sicherheitskritische Software. Der Lehrplan nennt Hardwaresteuerung, sensible Daten und umsatzkritische Berechnungen und zeigt, welche Teile eines Systems formale Methoden erreichen.
Das Albion-Training FM setzt keine Werkzeugerfahrung voraus. Das Kapitel Tools im Lehrplan behandelt Property-based Testing, Typsysteme, Model Checking, Beweisassistenten, SMT-Solver und abstrakte Interpretation.
Das Albion-Training FM folgt online und vor Ort demselben Programm.
Buchung und Preis
Für mehrere Plätze in einer Buchung des Albion-Trainings FM zieht Albion einen Gruppenrabatt ab. Ob er für einen Termin gilt und ab wie vielen Plätzen, zeigen die Terminzeile und der Checkout.
Deine Frage ist nicht dabei? Frag uns
Nächster Schritt
Bereit zu buchen?
3 Termine, der nächste am 30. Nov. – 2. Dez. 2026, ab 1.800 € zzgl. MwSt.