Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy

Marcellus Siegburg, Janis Voigtländer. Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy. In Judith Michael, Dominik Bork, Hans-Georg Fill, Peter Fettke, Dimitris Karagiannis, Julius Köpke, Agnes Koschmider, Heinrich C. Mayr, Jana-Rebecca Rehse, Ulrich Reimer, Michael Striewe, Marina Tropmann-Frick, Meike Ullrich, editors, Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with Modellierung 2020, Vienna, Austria, February 19-21, 2020. Volume 2542 of CEUR Workshop Proceedings, pages 89-100, CEUR-WS.org, 2020. [doi]

Abstract

Abstract is missing.