Logo des Repositoriums

Auflistung nach Autor:in "Bergerbusch, Timo"

1 - 1 von 1
  • Konferenzbeitrag
    Automatisierte Generierung von Automaten und automatenbasierten Aufgaben
    (DELFI 2020 – Die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V., 2020) Judel, Sven; Bergerbusch, Timo; Schroeder, Ulrik
    Dieser Beitrag stellt das Tool Automata Task Random Generator (AuTaRG) vor, das für die Bachelorvorlesung Formale Systeme, Automaten, Prozesse der RWTH Aachen automaten-basierte Aufgaben generiert. Es wird präsentiert, welche automatenbasierte Aufgabentypen behandelt werden, was das jeweilige Lernziel des Aufgabentyps ist, wie Eigenschaften und Zahlenwerte, die ein Automat besitzen muss um für die einzelnen Aufgabentypen geeignet zu sein, ermittelt wurden und wie solche Automaten generiert werden können. In einer Evaluation wurde erwiesen, dass durch die Nutzung des Tools Zeit bei der Generierung der Aufgaben und der Überführung in LaTeX-Code gespart wird und eine, im Vergleich zur händischen Erstellung, größere Aufgabenvariation und –menge generiert werden kann. Dies führt dazu, dass Assistenten weniger Aufwand im Übungsbetrieb betreiben müssen und Studierende mehr Aufgaben zum Üben erhalten.