Zum Inhalt
Fakultät für Informatik

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
Zum Seitenanfang