Generische invarianten-basierte Visualisierung für die Algorithmenerklärung

• Antragsteller: Professor Dr. Reinhard Wilhelm
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2006 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 22340707

Algorithmiker verstehen und erklären Algorithmen und Datenstruktuuren meist nicht durch das, was sich ändert, sondern durch das, was gleich bleibt, also durch Invarianten. Algorithmenanimation hingegen versucht traditionellerweise, Programme, also implementierte Algorithmen, durch Animation der erzielten Änderungen verständlich zu machen. Im beantragten Projekt wird versucht, die Invarianten-basierte Erklärungsmethode der Algorithmiker auf Algorithmenanimation zu übertragen. Die Invarianten werden in einer Vorverarbeitung der Implementierung des Algorithmus durch eine statische Programmanalyse automatisch bestimmt. In dem Projekt wird ein systematischer Ansatz zur Visualisierung der Invarianten gesucht. Dieser soll die Struktur der Invarianten, genauer die Zerlegung in ihre Bestandteile, ausnutzen.

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Raimund Seidel