Wozu formale Methoden? mit Lars Hupel
From Software Architektur im Stream by Eberhard Wolff
April 28, 2026
About this episode
In this episode, Eberhard Wolff discusses the role of formal methods in software architecture with Dr. Lars Hupel, focusing on their application in ensuring system security.
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. https://conferences.isaqb.org/software-architecture-forum/
People in this episode
Host: Eberhard Wolff
Guest: Dr. Lars Hupel
Topics covered
- formale Methoden
- Software-Architektur
- Sicherheit
- Finanzbranche
- mathematische Beweise
Keywords
- formale Methoden
- Software-Architektur
- Sicherheit
- Finanzbranche
- mathematische Beweise
- Giesecke+Devrient
- iSAQB
Sponsors
iSAQB Software Architecture Forum
Mentioned in this episode
Organizations: Giesecke+Devrient
Products: SATV15SAF
More episodes of Software Architektur im Stream
- KI Coding Produktivität mit Ingo Eichhorst · May 29, 2026
- Best Practices für Agentic Coding mit Tobias Wagner und Yadullah Duman · May 29, 2026 · 1h 5m
- John Romeros Prinzipien mit Tom Asel · May 18, 2026
- How AI Succeeds — Insights from Manufacturing Applications with Nikita Golovko · April 20, 2026
- Anarchy: A Solution to Software Development Organizations? with Andrew Harmel-Law · April 10, 2026 · 1h 2m
- Michael Stal: Analyse großer Softwaresysteme mit LLMs · April 7, 2026
Explore listener stats, chart rankings, contacts and more on the Software Architektur im Stream podcast page.