Spezifikation und Wissenserwerb mit ikonischen Regeln am Beispiel einer funktionalen, visuellen Programmiersprache

In unserem Projekt wurde die funktionelle, visuelle Programmiersprache AB­SYNT fur Programmieranfanger entwickelt. Das Projektziel ist ein Wissensdiagnose- und Fehlererklarungssystem fur diesen Gegenstandsbereich. Als eine wesentliche Voraussetzung fur das Programmieren-Lernen in ABSYNT betrach­ten wir das operationale Wissen uber die Arbeitsweise des Interpreters (Berechnungs­wissen, Small-Step Semantics), welche in ABSYNT-Trace vollstandig sichtbar wird. Das Berechnungswissen wird in (normativen) ikonischen Regeln reprasentiert.