podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. Software Architektur im Stream Podcast
  4. Wozu formale Methoden? mit Lars Hupel
Wenn Systeme bestimmte Eigenschaften wie Sicherheit garantieren
müssen, können formale Methoden diese Eigenschaften beweisen -
ähnlich wie bei einem mathematischen Beweis. In der Finanzbranche
will man beispielsweise sicherstellen, dass nicht in den Systemen
irgendwo Geld verschwindet. Welche Rolle spielen solche Methoden
im Software-Architektur-Alltag und wie kann man sie
gewinnbringend nutzen? Das diskutieren wir mit Dr. Lars Hupel,
Chief Evangelist bei Giesecke+Devrient.

Lars spricht beim iSAQB Software Architecture Forum. Mit dem Code
SATV15SAF gibt es 15% Rabatt.

Weitere Episoden

The Power of Modern CSS with Dylan Beattie

The Power of Modern CSS with Dylan Beattie

1 Stunde 13 Minuten
vor 1 Woche
Simple Cloud in der Praxis mit Dirk Breuer

Simple Cloud in der Praxis mit Dirk Breuer

1 Stunde 15 Minuten
vor 1 Woche
Surviving the AI-Native Era with Sander Hoogendoorn

Surviving the AI-Native Era with Sander Hoogendoorn

1 Stunde 9 Minuten
vor 2 Wochen
Kubernetes and Software Development with Kelsey Hightower

Kubernetes and Software Development with Kelsey Hightower

1 Stunde 7 Minuten
vor 3 Wochen
Petra Clemens: Herausforderungen in der IT Strategie (TechRidersSummit Special)

Petra Clemens: Herausforderungen in der IT Strategie (TechRidersSummit Special)

14 Minuten
vor 3 Wochen
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

„Wozu formale Methoden? mit Lars Hupel“

Worum geht es? Danach fragen wir noch nach dem Grund.

Abonnenten

Th
thungsten
Ra
Raik

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz