Wozu formale Methoden? mit Lars Hupel

What this episode covers

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/

Share this episode

Similar Episodes

Episode 62: Cautionary Tales From A Linux Beginner (with Edward Crisler)

Mar 10, 2026 ·83m

Games For Everyone #2: Linux Gaming Is Winning

Feb 17, 2026 ·94m

Episode 61: Down The NAS Rabbit Hole (with Joe Ressington)

Jan 19, 2026 ·90m

Games For Everyone #1: Valve's Third Act

Jan 5, 2026 ·98m

Episode 60: The Computer Upcycle Project (with Mike Kelly)

Dec 22, 2025 ·85m

Episode 59: Valve’s ARM Gamble + The Future of Linux VR (with Graham Morrison)

Dec 8, 2025 ·56m

Similar Podcasts

Lebe deine Wahrheit Larissa Geiges Was heißt es eigentlich die eigene Wahrheit zu leben? Und wie finde ich sie überhaupt?Für mich bedeutet es, die ehrlichste Version von mir selbst zu sein. All die Masken abnehmen, mit denen wir durch unser Leben gehen, den Menschen zu leben, der man im Kern ist.Wir dürfen immer entscheiden welchen Weg wir gehen. Den Eigenen oder den, den andere für uns gewählt haben. In diesem Podcast nehme ich dich mit auf meine Reise und wünsche mir, dass du viele wertvolle Impulse für dich und deinen Weg mitnehmen kannst. Ich teile mit dir welche Schritte ich auf dem Weg zu meiner Wahrheit gegangen bin und welche Prozesse ich auch heute noch durchlaufe. Ich teile meine Struggles und Ängste mit dir und meine Erkenntnise aus all den Phasen, durch die ich noch gehe und schon gegangen bin.Ich freue mich sehr, wenn du Teil hiervon bist und ich dich auf deinem Weg zu deiner ganz eigenen Wahrheit ein Stück begleiten darf.Alles Liebe für dich,deine Larissa Linux For Everyone Jason Evangelho An upbeat, conversational show about the exciting world of desktop Linux, open source software, and the community creating it. What The Tech Podcast guysfromqueens Being on the front-line of new media and technology themselves, Andrew and Paul discuss the many new technologies being introduced to the world everyday. From the very controversial, to the unboxings to software reviews, "What the Tech?!" allows tech-junkies and novices alike stay updated on the latest technology news. Die Zarten im Garten NDR 1 Welle Nord Von A wie Apfel bis Z wie Zwetschge im Garten gibt es immer etwas zu tun. Was wann anliegt und wie man den eigenen Garten oder Balkon aufhübscht, das verrät Experte Thomas Balster gemeinsam mit Reporter Samir Chawki im Podcast.

Frequently Asked Questions

How long is this episode of Software Architektur im Stream?

Episode duration information is not available.

When was this Software Architektur im Stream episode published?

This episode was published on April 28, 2026.

What is this episode about?

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...

Can I download this Software Architektur im Stream episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.