Wie funktioniert unsere Termingarantie?

Kennst du das? Du meldest dich zu einem Seminar an, bekommst eine Anmeldebestätigung und wenige Tage vor dem Seminar erhältst du vom Veranstalter eine Absage, weil nicht genügend Teilnehmende zusammengekommen sind. Nicht bei uns!

Auf der Seminarseite siehst du auf den 1. Blick, ob ein Termin genügend Teilnehmende hat und wir bereits eine Termingarantie vergeben haben. Sollte dies bei deinem Wunschtermin noch nicht der Fall sein, kontaktiere uns gerne per E-Mail, Chat oder Telefon und wir geben dir Auskunft, ob und wie viele Teilnehmende bereits angemeldet sind. Vielleicht bist du ausschlaggebend, um eine Termingarantie zu vergeben?

Und sollte doch einmal ein Termin aufgrund zu geringer Anmeldezahlen nicht stattfinden, sagen wir diesen spätestens 14 Tage vor Seminarbeginn verbindlich ab.
Aber auch wir haben nicht immer alles in der Hand, daher ist höhere Gewalt (s. AGB) von unserer Termingarantie ausgeschlossen.

Verstanden!

Termine

Aktuell sind Termine leider nur auf Anfrage möglich. Melde dich gerne direkt bei uns und wir finden einen Termin für dich.
  • calendar_today
    Plätze frei
  • calendar_month
    Nur noch wenige Plätze frei
  • event_busy
    Ausgebucht

Seminarinhalte

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.

  • Als Vorbereitung für den iSAQB Certified Professional for Software Architecture, Advanced Level (CPSA-A)

    Das Seminar deckt die Bereiche „Technische Kompetenz“ und „Methodische Kompetenz“ des CPSA-Advanced Curriculums ab und ist entsprechend beim iSAQB lizensiert. Wenn du die Zertifizierung anstrebst, kannst du dir mit der Teilnahme 20 Credit Points (techn.) und 10 Credit Points (meth.) anrechnen lassen. Informationen zur CPSA-Zertifizierung findest du hier. 

Weiterlesen
expand_more

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.

Grundlegendere Seminare

Ähnliche Seminare

Firmeninterne Schulung

Dieses Seminar kannst du als firmeninterne Schulung buchen. Entweder führen wir das Seminar in Präsenz bei euch vor Ort oder Online durch.

Qualitätsgarantie, Bildungsurlaub und Fördermöglichkeiten

Siegel der Weiterbildung Hamburg e.V.: in der Mitte zeigen drei bunte Pfeile auf den Claim

Dank unserer Mitgliedschaft bei Weiterbildung Hamburg e.V. und dem Prüfsiegel kannst du dich darauf verlassen, dass unsere Trainings höchsten Qualitätsstandards entsprechen. Willst du mehr dazu erfahren oder interessierst du dich für die Themen Bildungsurlaub oder Fördermöglichkeiten, dann komm hier entlang oder schreibe uns an info@oose.de.

Siegel: Oben ist das blaue TÜV NORD Logo zentriert, das ganze Siegel ist dunkelblau. in drei Zeilen steht dort: TÜV NORD CERT GmbH. DIN EN ISO 9001. tuev-nord.de

Seit März 2025 ist unser Unternehmen nach ISO 9001:2015 zertifiziert und erfüllt damit die internationalen Standards für Qualitätsmanagement. Erfahre auf der Seite des TÜV Nord mehr dazu.

Ermäßigung

  • 25 % für Studis & Privatpersonen – schreib uns einfach an info@oose.de oder ruf kurz durch: +49 40 414250-0.

  • 10 % Frühbucher:innen-Vorteil, wenn du mindestens 90 Tage im Voraus buchst – nicht stornierbar, aber dafür günstiger! Den Code „EARLY_BIRD“ bei der Buchung nicht vergessen!

Alle Details stehen in unseren AGB.

Nachhaltigkeit

Siegel für die Ökoprofit-Zertifizierung: Grüne Spirale über dem Schriftzug

Wir stellen uns unserer Verantwortung gegenüber der Umwelt durch nachhaltiges, ganzheitliches Handeln. So lautet einer unserer Grundwerte bei oose. Für uns bedeutet das, jeden Aspekt unseres Handelns als Unternehmen kritisch zu hinterfragen und auf nachhaltiges Wirtschaften statt auf kurzfristige Gewinne auszurichten. Deshalb ist oose Partner in der UmweltPartnerschaft Hamburg und durch ÖKOPROFIT® zertifiziert.