Für die Lehrveranstaltung Mathematische Strukturen setzen wir WeBWorK ein, siehe:

Erstmals im Sommersemester 2020 planen wir auch den Einsatz von Concludio.

Für die Lehrveranstaltung Programmierparadigmen setzen wir CodeWorld und Autotool ein.

Unser konkreter Einsatz für die Lehrveranstaltung Programmierparadigmen wird kurz beschrieben in einem Video zu CodeWorld und einem weiteren Video zu Autotool.

Alle Informationen und Materialien zu unseren Lehrveranstaltungen werden über die Moodle-Instanz der UDE zur Verfügung gestellt: https://moodle.uni-due.de/.

Wir veröffentlichen auch Arbeiten zum E-Learning, siehe unten.

    Beiträge in Sammelwerken und Tagungsbänden

  • Westphal, Oliver; Voigtländer, Janis;
    Describing Console I/O Behavior for Testing Student Submissions in Haskell
    TFPIE 2019 - Trends in Functional Programming in Education, 11. June 2019, Vancouver, Canada,
    In: Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education / Hage, Jurriaan (Hrsg.) 2020, S. 19 - 36
    ISSN: 2075-2180
  • Kafa, Violet; Siegburg, Marcellus; Voigtländer, Janis
    Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding
    In: ICT Education: Revised Selected Papers / 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019 / Tait, Bobby; Kroeze, Jan; Gruner, Stefan (Hrsg.) 2020, S. 112 - 128
    ISBN: 978-3-030-35628-6; 978-3-030-35629-3
  • Siegburg, Marcellus; Voigtländer, Janis
    Generating diverse exercise tasks on UML class and object diagrams, using formalisations in Alloy
    In: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung C-2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.) 2020 pages 89 - 100
    ISSN: 1613-0073
  • Westphal, Oliver; Voigtländer, Janis
    Implementing, and Keeping in Check, a DSL Used in E-Learning
    In: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.) 2020, S. 179 - 197
    ISBN: 978-3-030-59024-6; 978-3-030-59025-3
  • Siegburg, Marcellus; Voigtländer, Janis; Westphal, Oliver
    Automatische Bewertung von Haskell-Programmieraufgaben
    In: Proceedings of the Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), Essen, Germany, October 8-9, 2019 / Fourth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2019), 08.-09.10. 2019, Essen / Strickroth, Sven; Striewe, Michael; Rod, Oliver (Hrsg.) 2019, S. 19 - 26