Automatisierte Generierung von Automaten und automatenbasierten Aufgaben
| dc.contributor.author | Judel, Sven | |
| dc.contributor.author | Bergerbusch, Timo | |
| dc.contributor.author | Schroeder, Ulrik | |
| dc.contributor.editor | Zender, Raphael | |
| dc.contributor.editor | Ifenthaler, Dirk | |
| dc.contributor.editor | Leonhardt, Thiemo | |
| dc.contributor.editor | Schumacher, Clara | |
| dc.date.accessioned | 2020-09-08T09:46:17Z | |
| dc.date.available | 2020-09-08T09:46:17Z | |
| dc.date.issued | 2020 | |
| dc.description.abstract | 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. | de |
| dc.identifier.isbn | 978-3-88579-702-9 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/34151 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | DELFI 2020 – Die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V. | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-308 | |
| dc.subject | Automatisierte Generierung | |
| dc.subject | Automaten | |
| dc.subject | Automatentheorie | |
| dc.title | Automatisierte Generierung von Automaten und automatenbasierten Aufgaben | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 144 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 133 | |
| gi.conference.date | 14.-18. September 2020 | |
| gi.conference.location | Online |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- 133 DELFI2020_paper_66.pdf
- Größe:
- 525.4 KB
- Format:
- Adobe Portable Document Format