Software Architektur im Stream cover image

Programmierung als Theoriebildung

Software Architektur im Stream

00:00

Formale Spezifikation vs. erlernbares Systemverständnis

Eberhard unterscheidet formale Spezifikationen sicherheitskritischer Systeme von der notwendigen Theorie für Erweiterbarkeit.

Play episode from 49:08
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app