Institute of Software Engineering and Programming Languages

M.Sc. Michael Stegmaier

Ich forsche im Bereich der modellgetriebenen Softwareentwicklung an der Usability der generierten grafischen Editoren. Da ich in diesem Bereich forsche, habe ich auch mehrmals die Übungen zur Veranstaltung "Modellgetriebene Softwareentwicklung" betreut. Außerdem betreue ich Abschlussarbeiten, die in diesen Forschungsbereich fallen.

Desweiteren interessiere ich mich für Compiler und habe auch bisher das Compilerbauprojekt betreut. Im Compilerbauprojekt konstruieren die Teilnehmer gemeinsam einen Compiler für den Game Boy und lernen dabei verschiedene Parsertechnologien kennen, arbeiten mit Übersetzungsschemata und erlangen ein Verständnis davon, wann welche Optimierungen greifen können.

Forschungsprojekte

GENIAL!

Tools to accelerate innovation along the automotive value chain

SORRIR

Self-organizing resilient execution platform for IoT services

Publikationen

Beiträge zu Verhandlungen

11.
Stegmaier, Michael; Engel, Dominik; Olbrich, Jannik; Tichy, Matthias
Property-Based Testing for Visualization Development
The Gap between Visualization Research and Visualization Software (VisGap)
April 2021
DOI:10.2312/visgap.20211087
10.
Nachreiner, Leander; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
Oktober 2020
DOI:10.1145/3417990.3421401
9.
Stegmaier, Michael; Raschke, Alexander; Tichy, Matthias; Meßner, Eva-Maria; Hajian, Sara; Feldengut, Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling
September 2019
DOI:10.1109/MODELS-C.2019.00063
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
8.
Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias; Rukzio, Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
Oktober 2018
Datei:pdfhttp://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
7.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden
Mai 2018
DOI:10.1145/3183377.3183388
Datei:/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf
6.
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
DOI:10.1007/978-3-319-33600-8_2
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
5.
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
DOI:10.1007/978-3-319-33600-8_14
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf

Thesis

4.
Stegmaier, Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
Juli 2015

Handbücher

3.
Dausend, Marcel; Müller, Markus; Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
März 2013

Thesis

2.
Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012

Beiträge zu Verhandlungen

1.
Dausend, Marcel; Stegmaier, Michael; Raschke, Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
ISBN:978-88-7958-008-3
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf

Mitgliedschaften in Konferenzkomitees

Lehrveranstaltungen

  • Proseminar Softwaretechnik (SoSe 2021)
  • Projekt Compilerbauprojekt 2 (SoSe 2019)
  • Übungen für Model Driven Software Engineering (WS 2017/2018)
  • Übungen für Model Driven Software Engineering (WS 2015/2016)