Episode
Wozu formale Methoden? mit Lars Hupel
- Published
- Apr 28, 2026
- Processing state
not_requested- Canonical source
- https://software-architektur.tv/2026/04/27/episode311.html
Actions
POST https://stenobird.com/v1/public/podcasts/software-architektur-im-stream-3090375/episodes/wozu-formale-methoden-mit-lars-hupel/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/software-architektur-im-stream-3090375/wozu-formale-methoden-mit-lars-hupel.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
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/