
Wozu formale Methoden? mit Lars Hupel
Apr 28, 2026
Radio and PodcastLive Radio & Podcasts
Der Informatik-Pionier Peter Naur formulierte 1985 in seinem Aufsatz “Programming as Theory Building” die These, dass Programmieren im Kern bedeutet, eine Theorie zu entwickeln – ein tiefes Verständnis eines Problems und...
Programmierung als Theoriebildung is an episode from SoftwareArchitektur im Stream by Eberhard Wolff. Der Informatik-Pionier Peter Naur formulierte 1985 in seinem Aufsatz “Programming as Theory Building” die These, dass Programmieren im Ker...
This episode belongs to SoftwareArchitektur im Stream.
Use the player on this page to stream the episode online.
Published Feb 28, 2026, 00:55:38 long, audio available.