DiDo Vortragsliste 2016
Das DiDo-Seminar ist eine Veranstaltung für Bachelor- und Masterstudierende, DoktorandInnen und Postdocs. Weiterführende Informationen sind auf der DiDo-Seminar Seite zu finden.
2016
Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
---|---|---|---|---|---|
23.11.2016 | - | LS14 | BA Abschlussvortrag: Entwurf und Implementierung eines Eclipse Plug-Ins für die Auswahl von Prozessfragmenten zur Synthese von Geschäftsprozessen | ||
23.11.2016 | - | LS14/Rehabilitationswissenschaften | BA Einführungsvortrag: tba | ||
09.11.2016 | - | LS14 | BA Abschlussvortrag: Regeln für die Bewertung der Qualität von UML-Diagrammen | ||
02.11.2016 | - | LS14 | Abschlussvortrag: Spielende kooperierende Agenten | ||
19.10.2016 | - | ISST | BA Abschlussvortrag: Spezifikation und Implementierung einer domänenspezifischen Abfragesprache für einen Metadatenverzeichnisdienst | ||
17.08.2016 | - | LS14 | BA Einführungsvortrag: Entwicklung eines Taxonomie-Editors ur das CPS-Werkzeug zur Prozesssynthese | ||
17.08.2016 | - | LS14 | BA Abschlussvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse | ||
03.08.2016 | - | LS14/Materna | BA Abschlussvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips | ||
06.07.2016 | - | LS14 | MA Abschlussvortrag: Entwicklung eines Beschreibungsmodells und Analysesystems zur Überprüfung der Eignung von Beacons für verschiedene Anwendungsbereiche | ||
06.07.2016 | - | LS14 | BA Abschlussvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops | ||
29.06.2016 | - | LS14 | BA Zwischenvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse | ||
15.06.2016 | - | LS14 | BA Einführungsvortrag: Beurteilung der Qualität von UML-Diagrammen mit dem SMT-Solver Z3 | ||
08.06.2016 | - | LS14 | BA Abschlussvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus | ||
25.05.2016 | - | LS14 | BA Einführungsvortrag: tba | ||
25.05.2016 | - | LS14 | MA Einführungsvortrag: Usability Testing zur Verbesserung einer bestehenden Webanwendung | ||
11.05.2016 | - | LS14/Institut für Musik und Musikwissenschaft | BA Abschlussvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
27.04.2016 | - | ISST | MA Einführungsvortrag: tba | ||
27.04.2016 | - | LS14 | BA Einführungsvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
27.04.2016 | - | LS14 | BA Einführungsvortrag: Synthese von Continuous-Integration Pipelines | ||
27.04.2016 | - | LS14 | MA Einführungsvortrag: Synthese von Unit- und Integrationstests | ||
13.04.2016 | - | LS14 | BA Proposalvortrag: Syntax- und Konsistenzchecks von UML-Diagrammen | ||
16.03.2016 | - | 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 | - | 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 | - | LS14 | MA Abschlussvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
10.02.2016 | - | LS14 | BA Proposalvortrag: Entwurf und Implementierung eines Frameworks zur Analyse von BPMN Netzen mithilfe struktureller Testverfahren in Activiti | ||
27.01.2016 | - | LS14/WILO SE | MA Abschlussvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives | ||
13.01.2016 | - | LS14 | BA Einführungsvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips | ||
13.01.2016 | - | LS14 | BA Einführungsvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus |