How does our date guarantee work?
Do you know this situation? You sign up for a seminar, receive a confirmation, and a few days before the seminar, the organizer cancels it because there aren't enough participants. Not with us!

On the seminar page, you can see at a glance whether a date has enough participants and whether we have already issued a date guarantee. If your desired date does not yet have a guarantee, feel free to contact us via email, chat, or phone, and we will inform you whether and how many participants have already registered. Perhaps you could be the decisive participant to secure a date guarantee!

And if a date does not take place due to insufficient registrations, we will cancel it definitively at least 14 days before the seminar starts. However, some things are out of our control, so force majeure (see terms and conditions) is excluded from our date guarantee.

Got it!

Dates

Currently, appointments are only available upon request. Please feel free to reach out to us directly, and we’ll schedule a time that works for you.
  • calendar_today
    Spots left
  • calendar_month
    Few spots left
  • event_busy
    Booked out

Summary

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. 

Read more
expand_more

Requirements

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.

Prior trainings

Related trainings

Company Internal Training

You can book this seminar as company internal training. We can conduct the seminar either in person at your location or online.

Funding Opportunities and Educational Leave

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

We are a member of Weiterbildung Hamburg e.V.! Information about this, as well as which federal state you can get educational leave from us, and what funding opportunities are available for open seminars, can be found here. If interested, please contact info@oose.de.

Discounts

Private individuals and students receive a 25% discount on the seminar price. Please ask for your personal discount code via phone or mail.

Sustainability

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

We take responsibility for the environment through sustainable, holistic action. This is one of our core values at oose. For us, this means critically questioning every aspect of our actions as a company and focusing on sustainable business practices rather than short-term profits. That's why oose is a partner in the UmweltPartnerschaft Hamburg and certified by ÖKOPROFIT®.