Informatik als Dialog zwischen Theorie und Anwendung