Es gibt viele Methoden zur Darstellung der Struktur eines Programms (wie UML-Klassendiagramme usw.). Ich bin daran interessiert, ob es eine Konvention gibt, die Programme auf eine strenge, mathematische Weise beschreibt. Ich bin besonders an der Verwendung mathematischer Notation für diesen Zweck interessiert.
Ein Beispiel : Klassen werden als Mengen (Felder, Eigenschaften) und Funktionen (die auf den Elementen der Mengen operieren) dargestellt. Die Felder einer übergeordneten Klasse sind eine Teilmenge der Felder einer untergeordneten Klasse. Funktionen werden in Pseudocode beschrieben, der so und so aussehen muss...
