Universität Münster
CRIS@UM
DE | EN
Profilbild von Dr. Jan Dageförde

Dr. Jan Dageförde, M.Sc.

Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Curriculum Vitae (CV)

  • Logische Programmierung und Constraintprogrammierung
  • Integration von Paradigmen der Programmierung
  • E-Learning im universitären Kontext

Akademische Ausbildung

2015 - 2020Promotionsstudium im Fach Wirtschaftsinformatik an der WWU Münster
2014 - 2015Master-Studium Information Systems an der WWU Münster
2010 - 2014Bachelor-Studium Wirtschaftsinformatik an der WWU Münster

Publikationen

Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Dageförde, Jan C.; Kuchen, Herbert (2023)
In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Hrsg.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 97-112. Cham: Springer. doi:10.1007/978-3-031-31476-6_5
Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht
Constraint-Logic Object-Oriented Programming with Free Arrays
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021)
In:  (Hrsg.), , 129-144. Springer. doi:10.1007/978-3-030-75333-7_8
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Dageförde Jan C., Teegen Finn (2020)
In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (Hrsg.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13
Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht
Constraint-Logic Object-Oriented Programming with Free Arrays
Dageförde Jan C., Kuchen Herbert (2020)
In:  (Hrsg.), . (kein Verlag angegeben).
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
An Integrated Constraint-Logic and Object-Oriented Programming Language
Dageförde, Jan C. (2020)
Münster(kein Verlag angegeben).
Qualifikationsschrift (Dissertation, Habilitationsschrift) | Veröffentlicht
Alle Publikationen anzeigen

Projekte

Muli – The Münster Logic-Imperative Language (Muli)
Laufzeit: seit 01.11.2015
Art des Projekts: Eigenmittelprojekt
Der Münster-Generator für Glass-box-Testfälle (Muggl)
Laufzeit: seit 01.11.2003
Art des Projekts: Eigenmittelprojekt

Promotionen

An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language
Promovend*in: Dageförde, Jan C. | Betreuer*innen: Kuchen, Herbert
Zeitraum: bis 07.07.2020
Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster