Detailseite
Projekt Druckansicht

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

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
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung