Keine Seite verlinkt auf Analyse der Relation zwischen textueller Dokumentation und formellen Modellen in der Softwarearchitektur.