Department of Computer Science
PD Dr Henning Bordihn
>
Supervision (recent)
- Ph. Moek: Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus.
Bachelor Thesis.
- L. Goerlich: Bewertung des Technologiewechsels bei Frontend- und Backend-Programmierung am Beispiel der Spiele-Anwendung Wordle.
(Evaluation of the technology change in front-end and back-end programming using the example of the game application Wordle.)
Bachelor Thesis.
- H. Schulz: Untersuchungen zum Determinismuskonzept bei Mehrwellen-Soliton-Automaten anhand einer zu implementierenden Simulation.
(Investigations into the determinism concept for multi-wave soliton automata using a simulation to be implemented.)
Bachelo Thesis.
- A. Klockmann: Modifizierte Unidirektionale Codes für Speicherfehler.
(Modified one-directional codes for memory errors.)
PhD Thesis. Jointly supervised with Michael Gössel.
- F. Brashnikow: Die Auswirkung von List Comprehensions auf das Programmverständnis in Python.
(The effect of list comprehensions to the comprehension of Python programs.)
Bachelor Thesis.
- M. Stamm: Konzeption und Implementierung interaktiver Animationen von Algorithmen und Datenstrukturen für die digitale Lehre.
(Design and implementation of interactive animations of algorithms and data structures for digital education.)
Bachelor Thesis.
- J. Trebst: Kommunizierende Automaten mit Frageüberführungsfunktion.
(Communicating automata with query transition function.)
Master Thesis.
- S. Koch: Konzept zur Erstellung von WireMock-Konfigurationen mit einer graphischen Benutzeroberfläche.
(Conceptual design for the creation of WireMock configurations with a graphical user interface.)
Bachelor Thesis.
- E. Kapranova: Design and implementation of an online submission system for programming assignments.
Bachelor Thesis.
- M. Schweitzer: Adaptivität agiler Softwareentwicklung im strukturellen Wandel von Unternehmen.
(Adaptivity of agile software development in structural changes of enterprises.)
Master Thesis.
- S. Lehmann: Concept of a Domain-Specific Programming Language for the Multi-Agent System Screeps.
Master Thesis.
- S. A. Nguyen: Realisierung eines Kommandozeilentools zur Analyse von Quellcodedokumentationen als Plugin der IntelliJ IDEA.
(Implementation of a command line tool for the analysis of software documentation
as an IntelliJ IDEA plugin.)
Bachelor Thesis.
- S. El-Messari: Anwendbarkeit agiler Methoden auf modellgetriebene Softwareentwicklung.
(Applicability of agile methods to model driven software development.)
Bachelor Thesis.
- T. Leipner: Anwendbarkeit von Sprachen zur Prozessmodellierung in der Domäne der Geschäftsprozesse.
(Applicability of process modeling languages in the domain of business processes.)
Bachelor Thesis.
- F. Sorek: Migration eines Editors zur Modellierung von Automotive Software von Graphiti zu Sirius.
(Migration of an editor for a modeling language for automotive software from Graphiti to Sirius.)
Bachelor Thesis.
- D. Hergaß: Evolution des Metamodells einer Sprache für die Modellierung von Automotive Software.
(Evolution of a metamodel of a modeling language for automotive software.)
Bachelor Thesis.
- F. Matthies: Didaktische Prinzipien für den Vergleich von Programmiersprachen im Informatikunterricht.
(Didactical criteria for comparing programming languages in computer science classes.)
Bachelor Thesis.
- A. Schmidt: IDE-Integration eines Werkzeugs zur Sicherung der Qualität von Quellcodedokumentationen.
(IDE integration of a tool supporting quality assurance of source-code documentation.)
Bachelor Thesis.
- Th. Rakow: Re-Design und Re-Implementierung eines Werkzeugs zur
Qualitätssicherung von Quellcode-Dokumentationen.
(Re-design and re-implementation of a tool supporting quality assurance of source-code documentation.)
Diploma Thesis.
- H. Uehlemann: Automatisiertes Ranking geeigneter Personen zur Eskalation bei unternehmenskritischer
Störfallalarmierung.
(Automated ranking of eligible persons in case of business critical incidents.)
Diploma Thesis.
- A. Klockmann, M. Ratsch-Heitmann: Analyse der Umsetzbarkeit modellgetriebener Codegenerierung
für Steuerungssoftware von deterministischen Selbstbedienungsautomaten.
(Feasibility study of model driven code generation of software for controlling
deterministic selfi-service machines.)
Bachelor Thesis.
- H. Ritter: Konzeption und Analyse eines Modells des Mehrwellen-Solitonautomaten.
(Conceptual design and analysis of a model of multi-wave soliton automata.)
Bachelor Thesis.
- N. Gabechava: Werkzeuggestützte qualitätssichernde Analyse von Quellcode-Dokumentationen.
(Tool-supported analysis of source-code documentation for quality assurance.)
Magister Thesis.
- Ch. J. Ibendorf: Agile Modellierung kooperativer asynchroner Systeme.
(Agile modelling of cooperating asynchronous systems.)
Diploma Thesis.
- A. Melzer: Komplexität kombinatorischer Kategorialgrammatiken als Beschreiber kontextfreier Sprachen.
(Complexity of combinatory categorial grammars as descriptors of context-free languages.)
Master Thesis.
