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.

You can listen to Wozu formale Methoden? mit Lars Hupel online on Radio and Podcast. Open the player on this page to stream the available audio.

Wozu formale Methoden? mit Lars Hupel is an episode from SoftwareArchitektur im Stream by Eberhard Wolff.

The episode duration depends on the source podcast feed and may not always be available.

This episode was published on Apr 28, 2026.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from SoftwareArchitektur im Stream when more episodes are available from the podcast feed.