+49 (0) 8651 965 4520 inquiry@albion.eu

iSAQB CPSA-Advanced Formale Methoden (FM)

Albion Super-Sommer-Rabatt. Bis zu 25% Rabatt!

Jetzt buchen, das Angebot endet bald!

 Siehe Kurstermine

Kursbeschreibung

Softwaresysteme steuern immer mehr Aspekte unseres Lebens, und damit wird zunehmend die Sicherheit dieser Systeme relevant, und zwar im doppelten Sinne: Die Sicherheit, wenn es um Leib, Leben oder unternehmenskritische Bereiche geht, und die Sicherheit vor Einbrüchen, Sabotage und Datenenlecks. Bei solcher Software wollen wir, dass die Software bestimmte Anforderungen garantiert erfüllt. Dafür reichen einfache Tests nicht aus, die ja in der Regel nur bestimmte Szenarien abdecken – wir wollen, dass die Software sich in allen Szenarien korrekt verhält. Es braucht die Anwendung mathematischer Techniken – sogenannter formaler Methoden, und die waren bisher eine Lücke im Portfolio der Advanced-Schulungen, die wir jetzt geschlossen haben.

Das Modul „FM – Formale Methoden“ vermittelt Softwarearchitekten, wie sie die Korrektheit des Designs und der Implementierung eines Systems durch mathematische Beweise sicherstellen können. Das Modul konzentriert sich auf sicherheitskritische, sensible oder wirtschaftlich vitale Systeme und geht über traditionelle Architektur- und Testmethoden hinaus, indem es formale Techniken bietet, um zu überprüfen, dass Software ihren Anforderungen entspricht. Durch die frühzeitige Integration formaler Methoden in der Designphase können Architekten verifizierbare Modelle erstellen, die ein höheres Maß an Softwarequalität und Zuverlässigkeit gewährleisten.

Die Schulung ist Teil des iSAQB CPSA-Advanced-Level der Zertifizierung für Software-Architekten (CPSA-Advanced) und richtet sich nach dem aktuellen iSAQB Lehrplan.

Kursinhalt

  • Mathematische Grundlagen
  • Spezifikation und Implementierung
  • Entwicklungsprozesse mit formalen Methoden
  • Konkrete Techniken und Werkzeuge: Beweisassistenten, Model Checking, SMT-Solver

Zertifizierung

Dieses Seminar ist Teil des Advanced-Level-Programms von iSAQB. Durch den Besuch dieser Schulung erhalten Sie 10 Credit Points im Kompetenzbereich Methodik, 10 Credit Points im Kompetenzbereich Technische Kompetenz und 10 Credit Points im Kompetenzbereich Kommunikation, die für den Erwerb eines Certified Professional Software Architect (CPSA) Zertifikats angerechnet werden können.

Zielgruppe

Dieser Kurs richtet sich an Software-Entwickler und -Architekten

Voraussetzungen

Besondere Vorkenntnisse in Mathematik oder diesen Technologien sind nicht notwendig. Eine vorher besuchte iSAQB-Advanced-Schulung zu Funktionaler Softwarearchitektur oder Domänenspezifischen Sprachen ist keine zwingende Voraussetzung, erleichtert aber das Verständnis.

Vorteile an einer Albion Schulung teilzunehmen

Vorteile

  • Erfahrener und akkreditierter Trainer:
    • Der Trainer ist akkreditiert und aktives Mitglied bei der iSAQB-Organisation. Darüber hinaus verfügt er über mehrjährige Erfahrung sowie fundiertes Wissen im Bereich Software-Architektur.
  • Interaktive, praxisorientierte Ausbildung:
    • Die Teilnehmer erleben eine interaktive Schulung mit praxisbezogenen Übungen, die nach Ansicht ehemaliger Teilnehmer, das Erlernte vertiefen.
    • Der theoretische Inhalt wird durch die praktische Erfahrung des Trainers ergänzt, um sicherzustellen, dass die Kursteilnehmer nicht nur die relevanten Methoden, sondern auch die realen Herausforderungen ihrer Umsetzung verstehen.
    • Aktive Teilnahme und Diskussionen sind ausdrücklich erwünscht.
  • Industriestandard-Zertifizierungen:
    • Anerkannter Qualifikationsnachweis und Anerkennung von Fachwissen

Vorteile des Live-Online-Trainings

Überblick

Die Albion Academy ist für ihre interaktiven Trainings mit Workshop-Charakter bekannt. Dies gilt auch für die Live-Online-Trainings von Albion, in denen die aktive Teilnahme der KursteilnehmerInnen an Diskussionen und an der Gruppenarbeit gefördert wird.

Durch den Einsatz der neuesten Online-Kollaborationswerkzeuge, wie z.B. Online-Whiteboards, erleben Sie eine präsenzähnliche Teilnahme. Während des Live-Online-Trainings arbeiten die TeilnehmerInnen zusammen, um gemeinsam praxisorientierte Übungen und Fallstudien durchzuführen, was zu einem tieferen Verständnis des Kursmaterials führt.
 

Online Whiteboard

Vorteile des Live-Online-Trainings

  • Niedrigerer Preis 
    • Niedriger Preis für das Live-Online-Training im Vergleich zum entsprechenden Präsenz-Training.
  • Keine Reise- oder Hotelkosten
    • Effiziente Nutzung Ihrer Zeit
  • Einhaltung von möglichen Reisebeschränkungen
    • Sie können bequem von jedem Standort aus teilnehmen, ohne reisen zu müssen.
  • Die gleichen Frage- und Diskussionsmöglichkeiten
    • Wie bei einem Präsenz-Training ist die aktive Beteiligung der Teilnehmer erwünscht.
  • Teilnehmer Zusammenarbeit
    • Die TeilnehmerInnen können während und nach dem Kurs über einen Online-Chat 24 Stunden am Tag Fragen an andere Teilnehmer und an den Trainer stellen (z.B. um Testfragen, aktuelle Projekt-Herausforderungen usw. zu besprechen).

Voraussetzungen für das Live-Online-Training

  • Computer mit einer stabilen und schnellen Internetverbindung, die eine kontinuierliche Videoübertragung unterstützt.
  • Geeignete Webcam.
  • Headset anstelle des eingebauten Mikrofons, damit Umgebungsgeräusche reduziert werden.
  • Moderner Web-Browser mit guter Javascript-Unterstützung.
  • Ein ausreichend großer Monitor, um die Kursfolien, ein Whiteboard und andere Teilnehmer zu sehen. Weitere optionale Empfehlungen sind ein zweiter Monitor und ein Touchscreen mit einem Stift, um bspw. auf einem virtuellen Whiteboard zu zeichnen.
  • Das Recht, auf dem eigenen Computer Software zu installieren, z. B. Microsoft-Teams.
    • Die Anwendungen sind auch über einen Webbrowser verfügbar, allerdings mit eingeschränkter Funktionalität.
  • Die Anwesenheit der Teilnehmer ist verpflichtet, um eine Teilnahmebescheinigung zu bekommen.
  • Nur eine Person pro Computer, kein Teilen von Computern.
  • Planen Sie bitte ein, dass Sie ungestört von Kollegen, Familienmitgliedern, Haustieren usw. teilnehmen können.

Trainer

Dr. Michael Sperber

Michael Sperber ist Geschäftsführer der Active Group GmbH, die Individualsoftware ausschließlich mit funktionaler Programmierung entwickelt. Er ist anerkannter Experte für funktionale Programmierung und wendet sie seit über 25 Jahren in Forschung und industrieller Entwicklung an.
Dr. Sperber befasst sich außerdem seit über 30 Jahren mit der Programmierausbildung und hat dazu umfangreich geforscht. Er ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB, sowie Autor mehrerer Bücher und zahlreicher Fachartikel.

Seminarbuchung

Termine

Kursinfo

  Dauer
3 Tage, 9-17 Uhr CET

  Methode
Präsenz bzw. Online

  Zertifizierung
10 technische und 10 methodische und 10 kommunikative Credit-Points für ein iSAQB CPSA-Zertifikat

  Essensgutschein
für Präsenzschulungen

  Standard-Preis
ab 2.150 Euro, zzgl. MwSt.
10% Frühbucherrabatt*

» Anfrage senden

Kursanmeldung iSAQB CPSA-Advanced Formale Methoden (FM)

KursSpracheStartdatumEnddatumStandortPreisAnmelden
iSAQB Formale Methoden (FM)Deutsch30.11.202602.12.2026Live Online1.935 EUR
(10% Rabatt)

* Alle Preise verstehen sich zuzüglich Mehrwertsteuer.

Der Frühbucherrabatt von 10 % gilt für die ersten vier Anmeldungen, die spätestens sechs Wochen vor Kursbeginn eingegangen sein müssen.

Die Zertifizierungsgarantie und die Coaching-Sitzungen sind im Preis inbegriffen.

Die Zertifizierungsgarantie, die Coaching-Sitzungen und der Frühbucherrabatt gelten nur für Kurse, die direkt von Albion angeboten werden (nicht von Partnerunternehmen/Trainern).

Interne und kundenspezifische Schulungskurse und Workshops​

Gerne unterbreiten wir Ihnen Angebote für interne und kundenspezifische Schulungen.

Kontaktieren Sie uns