Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Bereichsnavigation

Hauptinhalt

DiDo Vortragsliste

2017

Datum Vortragender Institut Thema
26.09.2017 Oliver Seifert LS14 MA Abschlussvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings
26.09.2017 Inessa Azizova LS14 BA Abschlussvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung
18.07.2017 Jannik Zappe LS14 MA Zwischenvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen
04.07.2017 Alexander Kojen LS14 BA Einführungsvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuierlichen statischen Code-Analyse
04.07.2017 Patrick Wolf LS14 MA Abschlussvortrag: Entwicklung einer Compilations- und Ausführungsumgebung für eine formal verifizierbare imperative Sprache zur Programmierung von Raspberry Pis
06.06.2017 Lisa Janning LS14 BA Abschlussvortrag: Konzeption und Umsetzung für eine Testauswertung DO-BINE
06.06.2017 Max Brämer LS14 BA Einführungsvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten
23.05.2017 Marco Pennekamp LS14 BA Einführungsvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS
23.05.2017 Robin Czarnetzki LS14 BA Einführungsvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic
23.05.2017 Robin Weisbauer LS14 BA Einführungsvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving
09.05.2017 Daniel Scholtyssek LS14 BA Abschlussvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus
09.05.2017 Oliver Seifert LS14 MA Einführungsvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings
09.05.2017 Philipp Baumert LS14 BA Einführungsvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse
09.05.2017 Timo Etzold LS14 MA Abschlussvortrag: Erweiterung von Eclipse um Java Template Code
29.03.2017 Inessa Azizova LS14 BA Einführungsvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung
01.03.2017 Timon Sassor LS14 + AutoForm BA Einführungsvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien  Erstellung einer Abstraktion für das lokale Management von AutoForm-bezogenen Dateien mithilfe eines Versionsverwaltungssystems
01.03.2017 Timo Walter LS14 BA Abschlussvortrag: Entwicklung eines Taxonomie-Editors für das CPS-Werkzeug zur Prozesssynthese
15.02.2017 DiDo fällt aus
01.02.2017 Marc Walocha LS14 MA Abschlussvortrag: Verbesserung einer bestehenden Webanwendung mittels Usability Testing
01.02.2017 Tristan Schäfer LS14 MA Einführungsvortrag: Process Synthesis based on the Higher-Order Arrow Calculus

2016

Datum Vortragender Institut Thema
23.11.2016 Frank Milkereit LS14 BA Abschlussvortrag: Entwurf und Implementierung eines Eclipse Plug-Ins für die Auswahl von Prozessfragmenten zur Synthese von Geschäftsprozessen
23.11.2016 Lisa Janning LS14/Rehabilitationswissenschaften BA Einführungsvortrag: tba
09.11.2016 Sarah Graf LS14 BA Abschlussvortrag: Regeln für die Bewertung der Qualität von UML-Diagrammen
02.11.2016 PG-596 LS14 Abschlussvortrag: Spielende kooperierende Agenten
19.10.2016 Theodor Schnitzler ISST BA Abschlussvortrag: Spezifikation und Implementierung einer domänenspezifischen Abfragesprache für einen Metadatenverzeichnisdienst
17.08.2016 Timo Walter LS14 BA Einführungsvortrag: Entwicklung eines Taxonomie-Editors ur das CPS-Werkzeug zur Prozesssynthese
17.08.2016 Sascha Bülles LS14 BA Abschlussvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse
03.08.2016 Maximilian Otten LS14/Materna BA Abschlussvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips
06.07.2016 Matthias Wisniewski LS14 MA Abschlussvortrag: Entwicklung eines Beschreibungsmodells und Analysesystems zur Überprüfung der Eignung von Beacons für verschiedene Anwendungsbereiche
06.07.2016 Matthias Krebin LS14 BA Abschlussvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops
29.06.2016 Sascha Bülles LS14 BA Zwischenvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse
15.06.2016 Fadil Kallat LS14 BA Einführungsvortrag: Beurteilung der Qualität von UML-Diagrammen mit dem SMT-Solver Z3
08.06.2016 Daniel Sendzik LS14 BA Abschlussvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus
25.05.2016 Sarah Graf LS14 BA Einführungsvortrag: tba
25.05.2016 Marc Walocha LS14 MA Einführungsvortrag: Usability Testing zur Verbesserung einer bestehenden Webanwendung
11.05.2016 Robert Burckhardt LS14/Institut für Musik und Musikwissenschaft BA Abschlussvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus
27.04.2016 Theodor Schnitzler ISST MA Einführungsvortrag: tba
27.04.2016 Daniel Scholtyssek LS14 BA Einführungsvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus
27.04.2016 Dominik Krüger LS14 BA Einführungsvortrag: Synthese von Continuous-Integration Pipelines
27.04.2016 Maik Manjura LS14 MA Einführungsvortrag: Synthese von Unit- und Integrationstests
13.04.2016 Stefan Todorinski LS14 BA Proposalvortrag: Syntax- und Konsistenzchecks von UML-Diagrammen
16.03.2016 Andreas Helget LS14 MA Einführungsvortrag: Digitalisierung im Pflegesektor: Systematisches Requirements Engineering mit Vergleich von Prozessmodellierungsarten auf verschiedenen Detailebenen am Beispiel einer Online-Marktplattform
16.03.2016 Patrick Schramowski LS14 MA Einführungsvortrag: Digitalisierung im Pflegesektor: Entwurf und Implementierung eines Frameworks zum Antragsprozessmanagementunter Zuhilfenahme eines Inhabitationsalgorithmus am Beispiel einer Online-Marktplattform
10.02.2016 Sebastian Kurth LS14 MA Abschlussvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus
10.02.2016 Sascha Bülles LS14 BA Proposalvortrag: Entwurf und Implementierung eines Frameworks zur Analyse von BPMN Netzen mithilfe struktureller Testverfahren in Activiti
27.01.2016 Deepika Anandakrishnan LS14/WILO SE MA Abschlussvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
13.01.2016 Maximilian Otten LS14 BA Einführungsvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips
13.01.2016 Daniel Sendzik LS14 BA Einführungsvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus

2015

Datum Vortragender Institut Thema
02.12.2015 Dominic Starzinski LS14 BA Abschlussvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
18.11.2015 Robert Burckhardt LS14/Institut für Musik und Musikwissenschaft BA Einführungsvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus
18.11.2015 Liudmila Vishnyakova ISST BA Einführungsvortrag: Erfassung der Kosten und Nutzen von IT-Sicherheitsinvestitionen: Bewertung der Geschäftsprozesse, Wiederherstellung und IT-Sicherheitsmaßnahmen
18.11.2015 Matthias Krebin LS14 BA Einführungsvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops
21.10.2015 Deepika Anandakrishnan LS14/WILO SE MA Zwischenvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
21.10.2015 Sebastian Kurth LS14 MA Proposalvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus
21.10.2015 Sascha Bülles LS14 BA Zwischenvortrag: Konzeption und Erstellung eines Systems zur frei konfigurierbaren Generierung von Testdaten schwergewichtiger Systemarchitekturen zur Simulation bei manuellen und automatischen Tests
15.07.2015 Dominic Starzinski LS14 BA Proposalvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
15.07.2015 Deepika Anandakrishnan LS14 MA Proposalvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
15.07.2015 Kristof Wilke LS14 BA Abschlussvortrag: Entwurf, Implementierung und Test eines erweiterbaren Frameworks zur Bewertung von Geschäftsprozessen in BPMN mittels Metriken
17.06.2015 Dominik Mohr ISST MA Zwischenvortrag: Evaluation von BMPN und CMMN zur Entwicklung einer Prozesssteuerungskomponente für die Integration in die Elektronische FallAkte unter Verwendung der Camunda-Plattform
17.06.2015 Christian Everke ISST BA Abschlussvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.06.2015 Kristof Wilke LS14 BA Zwischenvortrag:
02.06.2015 Sascha Bülles LS14 BA Proposalvortrag: Konzeption und Erstellung eines Systems zur frei konfigurierbaren Generierung von Testdaten schwergewichtiger Systemarchitekturen zur Simulation bei manuellen und automatischen Tests
07.01.2015 Kristof Wilke LS14 BA Proposalvortrag: tba
07.01.2015 Dominik Mohr ISST MA Proposalvortrag: Evaluation von BMPN und CMMN zur Entwicklung einer Prozesssteuerungskomponente für die Integration in die Elektronische FallAkte unter Verwendung der Camunda-Plattform

2014

Datum Vortragender Institut Thema
21.11.2014 Christopher Schütte LS14 BA Proposalvortrag: Einsatz von JavaFX 8 in Software-Projekten zur Realisierung grafischer Benutzungsschnittstellen im Software-Praktikum
21.11.2014 Christian Everke ISST BA Proposalvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.11.2014 Blanca Estela Wannöffel-Peña LS14 BA Abschlussvortrag: Die Zukunft des Lernens im Netz: Das Beispiel der Massive Open Online Courses (MOOCs)
15.10.2014 Fabian Kotschenreuther LS14 BA Abschlussvortrag: Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
01.10.2014 Zani Zarkisyan LS14 DA Einführungsvortrag:
01.10.2014 Eric Fiege ISST BA Abschlussvortrag: Konzeption und Implementierung eines modularen Frameworks zur flexiblen Anbindung von Vitalwertsensoren auf Basis des OSGi-Frameworks
28.05.2014 Jens Veuhoff LS14 Einsatz von „Spiele-Bibliotheken“ für die Realisierung von 2D-Computer-Spielen im Software-Praktikum
28.05.2014 Julian Remmers LS14 Clean Code - Code-Qualität im Software-Praktikum
28.05.2014 Marc Walocha LS14 Klassifizierung von Texten unter Einsatz von selbstlernenden Algorithmen der Open-Source-Umgebung RapidMiner
30.04.2014 Fabian Kotschenreuther LS14 Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
22.01.2014 Jan Bessai LS14 Synthesizing Dependency Injection Configurations for the Spring Framework
22.01.2014 Anna Vasileva LS14 Synthese von Orchestrationscode für Cloud-basierte Dienste
22.01.2014 Daniel Spasovski ISST Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern

2013

Datum Vortragender Institut Thema
18.12.2013 Lutz Oettershagen ISST Konzeption eines EFA-Portal-Plugins zur Abbildung von EFA Metadaten auf strukturierte Event Logs unter Nutzung des XES Standards
18.12.2013 Eike Ogkler LS14 Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus
18.12.2013 Matthias Wisniewski LS14 Automatische Generierung einer Java GUI unter Zuhilfenahme eines Inhabitationsalgorithmus
04.12.2013 Sebastian Gnitkowitz LS14 BA Abschlussvortrag: Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus
06.11.2013 Andriy Kadyba ISST MA Abschlussvortrag: Einsatz von Verfahren des maschinellen Lernens und Data Minings zur Optimierung von therapeutischen Trainingsplänen
06.11.2013 Eric Fiege ISST BA Proposalvortrag: tba
06.11.2013 Patrick Wolf LS14 BA Abschlussvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO®NXT-VIs aus einem Repository
24.10.2013 Tim Düllmann ISST DA Abschlussvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
24.10.2013 Sebastian Kurth ISST BA Abschlussvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
24.10.2013 Steffen Plate LS14 BA Abschlussvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
24.10.2013 Ralph Bochon ISST DA Abschlussvortrag:
10.07.2013 Matthias Wisniewski LS14 BA Proposalvortrag:
19.06.2013 Eike Ogkler LS14 BA Proposalvortrag: Entwicklung einer webbasierten Benutzerschnittstelle für ein Framework zur automatisierten Synthese von Softwarekomponenten
19.06.2013 Anna Vasileva LS14 DA Proposalvortrag:
19.06.2013 Daniel Spasovski ISST DA Proposalvortrag: Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern
29.05.2013 Patrick Wolf LS14 BA Proposalvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO™ NXT-VIs aus einem Repository
29.05.2013 Jan Bessai LS14 MA Proposalvortrag:
29.05.2013 Sebastian Gnittkowitz LS14 BA Proposalvortrag:
15.05.2013 Sebastian Kurth ISST BA Proposalvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
15.05.2013 Steffen Plate LS14 BA Proposalvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
17.04.2013 Agata Berg LS14 BA Abschlussvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
17.04.2013 Benjamin Titz LS14 DA Proposalvortrag:
17.04.2013 Tim Düllmann LS14 DA Proposalvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
06.02.2013 Agata Berg LS14 BA Zwischenvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
06.02.2013 Ralf Bochon ISST DA Proposalvortrag: Konzeption und Realisierung einer Methodik zur modellbasierten Entwicklung des kontextadaptiven Verhaltens von AAL-Anwendungen mit Hilfe einer grafischen Entwicklungsumgebung