Veröffentlichungen
-
Parametrisierung von Haskell-ProgrammieraufgabenIn: Proceedings of the 6th Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2023) / 6. Workshop "Automatische Bewertung von Programmieraufgaben", 12.–13. Oktober 2023, München / Greubel, André; Strickroth, Sven; Striewe, Michael (Hrsg.) 2023, S. 51 - 58Online Volltext: dx.doi.org/ Online Volltext (Open Access)
-
A Report on Automatic Generation of Petri Net Exercise and Exam Task InstancesIn: Modellierung 2022 Satellite Events / Workshop zur Modellierung in der Hochschullehre (MoHoL), Juni 2022, Hamburg / Michael, Judith; Pfeiffer, Jérôme; Wortmann, Andreas (Hrsg.) 2022, S. 197 - 204Online Volltext: dx.doi.org/ Online Volltext (Open Access)
-
A Framework for Generating Diverse Haskell-I/O Exercise TasksIn: Functional and Constraint Logic Programming / 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 / Hanus, Michael; Sacerdoti Coen, Claudio (Hrsg.) 2021, S. 97 - 114Online Volltext: dx.doi.org/ (Open Access)
-
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 - 36Online Volltext: dx.doi.org/ (Open Access) -
Implementing, and Keeping in Check, a DSL Used in E-LearningIn: Functional and Logic Programming: Proceedings / 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020 / Nakano, Keisuke; Sagonas, Konstantinos (Hrsg.) 2020, S. 179 - 197Online Volltext: dx.doi.org/
-
Free Theorems Simply, via DinaturalityIn: Declarative Programming and Knowledge Management / Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 / Hofstedt, Petra; Abreu, Salvador; John, Ulrich; Kuchen, Herbert; Seipel, Dietmar (Hrsg.) 2020, S. 247 - 267Online Volltext: dx.doi.org/ (Open Access)
-
Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance FindingIn: 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 - 128Online Volltext: dx.doi.org/
-
Generating diverse exercise tasks on UML class and object diagrams, using formalisations in AlloyIn: Joint Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers / Modellierung 2020, 19.-21.02.2020, Wien / Michael, Judith; Bork, Dominik; Rehse, Jana-Rebecca; Striewe, Michael; Ullrich, Meike (Hrsg.) 2020, S. 89 - 100Online Volltext (Open Access)
-
Automatische Bewertung von Haskell-ProgrammieraufgabenIn: 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 - 26Online Volltext: dx.doi.org/ (Open Access)