Debugging support for Abstract State Machines
Dr. Alexander Raschke
Currently, I'm working mainly on the improvement of the usability of graphical diagram editors. Besides the empirical evaluation of the pitfalls of these tools, we also develop and evaluate new interaction techniques.
Besides that, I'm also interested in formale specification languages, mainly Abstract State Machines (ASMs). If you do not know what that means, see here: https://modelingbook.informatik.uni-ulm.de
Since I'm responsible for the software engineering projects in our software engineering course of studies, I'm also interested in solving all problems that arise when developing software in a team: communication (within the team, with the customer), workload distribution, quality assurance, programming skills, Continous Integration/-deployment, and much more.
Last but not least, I'm teaching functional programming with Haskell for over 10 years and as such, I'm also interested in the (beautiful) application of this programming paradigm.
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document Number: UIB-2006-03
Contribution to Proceedings
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Page 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor, Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Page 237-246
In Arabnia, H. R., Editor
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05)Volume1, Page 396-400
In Arabnia, H. R. and Reza, H., Editor
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., Editor, Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), UlmVolume2, Page 408-417
In Dadam, P. and Reichert, M., Editor
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24 (1) :17-18