Logo des Repositoriums
 

Automatisierte Generierung von Automaten und automatenbasierten Aufgaben

Kurzanzeige
dc.contributor.authorJudel, Sven
dc.contributor.authorBergerbusch, Timo
dc.contributor.authorSchroeder, Ulrik
dc.contributor.editorZender, Raphael
dc.contributor.editorIfenthaler, Dirk
dc.contributor.editorLeonhardt, Thiemo
dc.contributor.editorSchumacher, Clara
dc.date.accessioned2020-09-08T09:46:17Z
dc.date.available2020-09-08T09:46:17Z
dc.date.issued2020
dc.description.abstractDieser 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.de
dc.identifier.isbn978-3-88579-702-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/34151
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofDELFI 2020 – Die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V.
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-308
dc.subjectAutomatisierte Generierung
dc.subjectAutomaten
dc.subjectAutomatentheorie
dc.titleAutomatisierte Generierung von Automaten und automatenbasierten Aufgabende
dc.typeText/Conference Paper
gi.citation.endPage144
gi.citation.publisherPlaceBonn
gi.citation.startPage133
gi.conference.date14.-18. September 2020
gi.conference.locationOnline

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
133 DELFI2020_paper_66.pdf
Größe:
525.4 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P308 - DELFI 2020 - Die 18. Fachtagung Bildungstechnologien
DELFI 2020