Auflistung nach Autor:in "Richter, Dirk"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- Conference PaperEinsatz von Virtual Reality zum Aufbau von Klassenmanagement-Kompetenzen im Lehramtsstudium(DELFI 2019, 2019) Wiepke, Axel; Richter, Eric; Zender, Raphael; Richter, DirkVirtuelle Realitäten ermöglichen Trainingsszenarien, die in der realen Welt nur mit hohem Aufwand oder mit ethischen Bedenken durchgeführt werden können. Dazu gehört das Verhaltenstraining angehender LehrerInnen vor Schulklassen. Dieser Beitrag beschreibt eine für diesen Zweck entwickelte VR-Klassenraumsimulation, in der gezielt Störungen bei simulierten SchülerInnen ausgelöst werden können. Der Einsatz dieser Lösung für das realitätsnahe Training von Klassenmanagementkompetenzen bei Lehramtsstudierenden wird beschrieben und evaluiert, wobei ein Fokus auf dem angemessenen Umgang mit Unterrichtsstörungen liegt.
- KonferenzbeitragFehlalarmfreie Abstraktion in ISO-C konformer Semantik(Software Engineering 2012. Workshopband, 2012) Richter, Dirk; Hoffmann, RobertoViele Aussagen zum Programmverhalten sind in turingmächtigen Programmiersprachen unentscheidbar (Rice Theorem). Mittels Abstraktion vom Programmverhalten können nicht-turingmächtige Modelle automatisch erzeugt werden. Modelle in Form von symbolischen Kellersystemen (SPDS) erlauben eine so präzise Darstellung des Programmverhaltens, sodass eine ISO-C konforme Semantik möglich ist [RB12, KZR09]. Allerdings führen präzisere Darstellungen stets auch zu komplexeren und umfangreicheren Modellen. Dies erschwert Software-Modellprüfung, modellbasiertes Testen und Testdatenund Codegenerierung. Mehr Abstraktion führt hingegen zu kleineren Modellen, allerdings auch zu mehr Fehlalarmen. Ziel dieser Arbeit ist es, bezüglich temporaler Aussagen unwichtige Teile eines SPDS zu identifizieren und von diesen Teilen so zu abstrahieren, dass keine Fehlalarme entstehen.
- KonferenzbeitragVariablenelimination für symbolische Modelle(Informatik 2009 – Im Focus das Leben, 2009) Richter, Dirk; Zimmermann, Wolf